Search results 1
Digital文書・図像類
Available onlineOther Libraries in Japan
- Summary, etc....en the size of tree-like resolution refutation and that of DAG-1i...
- Subject Heading導出原理 木状導出原理 鳩の巣原理 resolution tree-like resolution the pigeonhole principlethe
- Alternative TitleOn the size of the tree-like resolution for the pigeonhole principle