キーワード : 準群問題


モデル生成型定理証明システムによる制約充足問題の解決とその並列化
白井 康之 長谷川 隆三 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/01/25
Vol. J80-D2  No. 1 ; pp. 224-236
論文種別:  論文
専門分野: 人工知能,自然言語処理,認知科学
キーワード: 
自動証明制約充足問題準群問題モデル生成法OR並列
 あらまし | 本文:PDF(854.2KB)