演繹推論の高コストル-ル対処法及び仮説推論の高速矛盾処理に関する研究

著者

• 阿部, 武彦 アベ, タケヒコ

書誌事項

演繹推論の高コストル-ル対処法及び仮説推論の高速矛盾処理に関する研究

阿部武彦[著]

阿部武彦, 1997.7

タイトル読み

エンエキ スイロン ノ コウコスト ル-ル タイショホウ オヨビ カセツ スイロン ノ コウソク ムジュン ショリ ニ カンスル ケンキュウ

注記

博士論文(金沢大学, 1997, 博甲第226号)

• NII書誌ID(NCID): BA39069177
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: [金沢]
• ページ数/冊数: iii, 84枚
• 大きさ: 30cm