文章基本信息
- 标题：モデル生成型定理証明と要素技術
- 本地全文：下载
- 作者：長谷川 隆三 ; 藤田 博 ; 越村 三幸 等
- 期刊名称：コンピュータ ソフトウェア
- 印刷版ISSN：0289-6540
- 出版年度：2008
- 卷号：25
- 期号：3
- 页码：3_2-3_10
- DOI：10.11309/jssst.25.3_2
- 出版社：Japan Society for Software Science and Technology
- 摘要：
1980年代の第5世代コンピュータプロジェクトの主要な成果の一つとして，定理証明システムMGTPがある．MGTPは，並列推論マシン(PIM)上での高効率証明系の実装に最適なモデル生成法に基づいている．本稿は，MGTPの改善や拡張および応用と最近の研究について概観する．
