シライ　ヤスユキ   白井　康之   経営学部 経営学科   教授

■ 標題   Answer Set Computation based on a Minimal Model Generation Theorem Prover

■ 概要      Yasuyuki Shirai, Ryuzo Hasegawa   共著   In Proc. of 8th Pacific Rim International Conference on Artificial Intelligence (PRICAI), LNAI 3157, pp 43-52, Springer, August 2004, Auckland, New Zealand      2004/08

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