コンピュータ ソフトウェア
Print ISSN : 0289-6540
モデル生成型定理証明と要素技術
長谷川 隆三藤田 博越村 三幸
著者情報
ジャーナル フリー

2008 年 25 巻 3 号 p. 3_2-3_10

詳細
抄録
1980年代の第5世代コンピュータプロジェクトの主要な成果の一つとして,定理証明システムMGTPがある.MGTPは,並列推論マシン(PIM)上での高効率証明系の実装に最適なモデル生成法に基づいている.本稿は,MGTPの改善や拡張および応用と最近の研究について概観する.
著者関連情報
© 日本ソフトウェア科学会 2008
前の記事 次の記事
feedback
Top