CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

THM: Boyer-Moore Theorem Prover

areas/reasonng/atp/systems/thm/
This directory contains THM, the Boyer-Moore Theorem Prover. It is superseded by NQTHM.
See Also: 

   areas/reasonng/atp/systems/nqthm/

Version: November 1987 CD-ROM: Prime Time Freeware for AI, Issue 1-1 Keywords: Automated Reasoning, Boyer-Moore Theorem Prover, Reasoning!Automated Reasoning, THM, Theorem Proving References: ?
Last Web update on Mon Feb 13 10:27:39 1995
AI.Repository@cs.cmu.edu