SHIRAI Yasuyuki Faculty of Business Administration Department of Business Management Professor |
■ Title A Model Generation Based Theorem Prover MGTP for First-Order Logic |
■ Outline Collaboration 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. |