|
|
|
シライ ヤスユキ 白井 康之 経営学部 経営学科 教授 |
|
■ 標題 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. |