シライ ヤスユキ
  白井 康之   経営学部 経営学科   准教授
■ 標題
  A Model Generation Based Theorem Prover MGTP for First-Order Logic
■ 概要
  
  共著   Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Lecture Notes in Artificial Intelligence 2408   Springer      2002/09


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