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