SHIRAI Yasuyuki   Faculty of Business Administration Department of Business Management   Professor

■ Title   Introducing Constraint Propagation into Model Generation Theorem Prover

■ Outline      Ryuzo Hasegawa and Yasuyuki Shirai   Collaboration      1994/03

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