Search results for "tree-like resolution" | NDL Search

Search results 1

Group by title

Digital文書・図像類

宮崎, 修一, 岩間, 一雄Institute of Electronics, Information and Communications Engineers (IEICE)1999-09-03電子情報通信学会技術研究報告99 288p.15-22

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

Reached to the end of result.

RSS