キーワード : 連言照合


モデル生成型定理証明系のAND並列化方式
越村 三幸 長谷川 隆三 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/02/25
Vol. J78-D1  No. 2 ; pp. 228-238
論文種別:  特集論文 (超並列コンピュータシステム論文特集)
専門分野: 応用
キーワード: 
自動証明モデル生成連言照合包摂テストAND並列
 あらまし | 本文:PDF(762.4KB)