シライ ヤスユキ 白井 康之 経営学部 経営学科 教授 |
■ 標題 Model generation theorem proving with interval constraints |
■ 概要 Reiner Hahnle, Ryuzo Hasegawa and Yasuyuki Shirai 共著 In F.Benhamou, W.J. Older, M.van Emden, and P.van Hentenryck,eds., Proc.of ILPS Post-Conf. Workshop on Interval Constraints, Portland/OR, Dec. December 1995, USA 1995/12 |
Copyright(C) 2011 Daito Bunka University, All rights reserved. |