CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

SETHEO: SEquential THEOrem prover

SETHEO (SEquential THEOrem prover) is an automated theorem prover for formulae of predicate logic. SETHEO is based on the calculus of ``connection tableaux''.
Origin: []
   as the files and setheo.tar.Z.

Version: 3.0 (26-APR-93) Ports: SETHEO runs on Sun SPARCs only. CD-ROM: Prime Time Freeware for AI, Issue 1-1 Contact: Intellektik Attn. M. Moser Technische Universitaet Muenchen Institut fuer Informatik Augustenstr. 46 RGB 8000 Muenchen 2 Germany Keywords: Authors!Moser, Automated Reasoning, Reasoning!Automated Reasoning, SETHEO, Theorem Proving References: ?
Last Web update on Mon Feb 13 10:27:39 1995