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