|
| キーワード : 自動証明
|
モデル生成型定理証明システムによる制約充足問題の解決とその並列化
白井 康之 長谷川 隆三 | 誌名: 電子情報通信学会論文誌 D
発行日: 1997/01/25
Vol. J80-D2
No. 1 ;
pp. 224-236
論文種別:
論文
専門分野: 人工知能，自然言語処理，認知科学
キーワード:
自動証明, 制約充足問題, 準群問題, モデル生成法, OR並列, | | | あらまし | 本文:PDF(854.2KB) | |
| |
|
モデル生成型定理証明系のAND並列化方式
越村 三幸 長谷川 隆三 | 誌名: 電子情報通信学会論文誌 D
発行日: 1995/02/25
Vol. J78-D1
No. 2 ;
pp. 228-238
論文種別:
特集論文 (超並列コンピュータシステム論文特集)
専門分野: 応用
キーワード:
自動証明, モデル生成, 連言照合, 包摂テスト, AND並列, | | | あらまし | 本文:PDF(762.4KB) | |
|
|
