CMU Artificial Intelligence Repository
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