シライ ヤスユキ
  白井 康之   経営学部 経営学科   准教授
■ 標題
  Answer Set Computation on a Minimal Model Generation Theorem Prover MM-MGTP
■ 概要
  
  Yasuyuki Shirai and Ryuzo Hasegawa
  共著   Dagstuhl Seminar on Nonmonotonic Reasoning, Answer Set Programming and Constraints (Seminar 02381), Dagstuhl, Germany      2002/09


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