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

Bibliographic Information

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

阿部武彦[著]

阿部武彦, 1997.7

Title Transcription

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

Available at  / 1 libraries

Search this Book/Journal

Note

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

Details

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