CMU Artificial Intelligence Repository
Documentation about Theorem Proving and Automated Reasoning
areas/reasonng/atp/doc/
This directory contains documentation files for
Theorem Proving and Automated Reasoning.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Keywords:
Automated Reasoning, Reasoning!Automated Reasoning,
Theorem Proving
References: ?
Last Web update on Mon Feb 13 10:27:25 1995
AI.Repository@cs.cmu.edu