シライ ヤスユキ 白井 康之 経営学部 経営学科 教授 |
■ 標題 モデル生成型定理証明システムによる制約充足問題の解決とその並列化 |
■ 概要 白井 康之, 長谷川 隆三 共著 ICOT TR 916, 新世代コンピュータ技術開発機構, March 1995 1995/03 |
Copyright(C) 2011 Daito Bunka University, All rights reserved. |