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

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

Print ISSN : 0289-6540

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

著者情報

ジャーナルフリー

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

詳細

抄録

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

著者関連情報

お気に入り & アラート

閲覧履歴

Top