シライ ヤスユキ
  白井 康之   経営学部 経営学科   准教授
■ 標題
  A Model generation theorem prover handling finite interval constraints
■ 概要
  
  Reiner Hahnle, Yasuyuki Shirai and Ryuzo Hasegawa
  共著   九州大学大学院システム情報科学研究科報告, Vol. 5, No.2      2001/09


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