CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

XPNet: X Proof Net

areas/reasonng/atp/systems/xpnet/
XPNet (X Proof Net) is a graphical interface to proof nets with an efficient proof checker.
Origin:   

   ftp.cis.upenn.edu:/pub/xpnet.tar.Z [130.91.6.8]

Version: 10-SEP-93 CD-ROM: Prime Time Freeware for AI, Issue 1-1 Author(s): Jawahar Chirimar Carl A. Gunter Myra VanInwegen University of Pennsylvania Computer and Info Science Dept 200 S. 33rd St. Philadephia PA 19104 Keywords: Authors!Chirimar, Authors!Gunter, Authors!VanInwegen, Automated Reasoning, Proof Checker, Reasoning!Automated Reasoning, Theorem Proving, XPNet References: ?
Last Web update on Mon Feb 13 10:27:42 1995
AI.Repository@cs.cmu.edu