シライ ヤスユキ
  白井 康之   経営学部 経営学科   准教授
■ 標題
  モデル生成型定理証明システムによる制約充足問題の解決とその並列化
■ 概要
  
  白井康之, 長谷川隆三
  共著   電子情報通信学会論文誌   J80-D-II(1)   1997/01


Copyright(C) 2011 Daito Bunka University, All rights reserved.