CMU Artificial Intelligence Repository
SETHEO: SEquential THEOrem prover
areas/reasonng/atp/systems/setheo/
SETHEO (SEquential THEOrem prover) is an automated theorem prover for
formulae of predicate logic. SETHEO is based on the calculus of
``connection tableaux''.
Origin:
flop.informatik.tu-muenchen.de:/pub/fki/ [131.159.8.35]
as the files setheo.info 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: setheo@informatik.tu-muenchen.de
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
AI.Repository@cs.cmu.edu