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
