モデル生成型定理証明と要素技術

• 長谷川 隆三

  九州大学大学院システム情報科学研究院

• 藤田 博

  九州大学大学院システム情報科学研究院

• 越村 三幸

  九州大学大学院システム情報科学研究院

書誌事項

タイトル別名

• Model Generation Theorem Proving and Its Elementary Techniques
• モデル セイセイガタ テイリ ショウメイ ト ヨウソ ギジュツ

抄録

1980年代の第5世代コンピュータプロジェクトの主要な成果の一つとして，定理証明システムMGTPがある．MGTPは，並列推論マシン(PIM)上での高効率証明系の実装に最適なモデル生成法に基づいている．本稿は，MGTPの改善や拡張および応用と最近の研究について概観する．

収録刊行物

• コンピュータ ソフトウェア

  コンピュータ ソフトウェア 25 (3), 2-10, 2008

  日本ソフトウェア科学会

詳細情報

• CRID: 1390282679714956160
• NII論文ID: 110006840395
• NII書誌ID: AN10075819
• DOI: 10.11309/jssst.25.3_2
• NDL書誌ID: 9599901
• ISSN: 02896540
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I9599901
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • NDL
  • CiNii Articles
• 抄録ライセンスフラグ: 使用不可