演繹推論の高コストル-ル対処法及び仮説推論の高速矛盾処理に関する研究
著者
書誌事項
演繹推論の高コストル-ル対処法及び仮説推論の高速矛盾処理に関する研究
阿部武彦, 1997.7
- タイトル読み
-
エンエキ スイロン ノ コウコスト ル-ル タイショホウ オヨビ カセツ スイロン ノ コウソク ムジュン ショリ ニ カンスル ケンキュウ
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
博士論文(金沢大学, 1997, 博甲第226号)