本文に飛ぶ

年 〜
年

検索結果 1 件

鳩の巣原理に対する木状導出原理の証明サイズについて

鳩の巣原理に対する木状導出原理の証明サイズについて
デジタル文書・図像類
宮崎, 修一, 岩間, 一雄Institute of Electronics, Information and Communications Engineers (IEICE)1999-09-03電子情報通信学会技術研究報告99 288p.15-22
インターネットで読める全国の図書館
  • 要約等...en the size of tree-like resolution refutation and that of DAG-1i...
  • 件名導出原理 木状導出原理 鳩の巣原理 resolution tree-like resolution the pigeonhole principlethe
  • 並列タイトル等（連結）On the size of the tree-like resolution for the pigeonhole principle

検索結果は以上です。

RSS