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

Author(s)

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

Bibliographic Information

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

阿部武彦[著]

阿部武彦, 1997.7

Title Transcription

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

Note

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

• NCID: BA39069177
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: [金沢]
• Pages/Volumes: iii, 84枚
• Size: 30cm