シライ ヤスユキ
  白井 康之   経営学部 経営学科   准教授
■ 標題
  Model Generation Theorem Proving with Finite Interval Constraints
■ 概要
  
  Reiner Hahnle, Ryuzo Hasegawa and Yasuyuki Shirai
  共著   In Proc. First International Conference on Computational Logic (CL2000), LNAI 1861, pp.285-299, May 2000, London, UK      2000/05


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