CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

XPNet: X Proof Net

XPNet (X Proof Net) is a graphical interface to proof nets with an efficient proof checker.
Origin: []

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