シライ ヤスユキ 白井 康之 経営学部 経営学科 教授 |
■ 標題 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. |