SETHEO(ID:3668/set001)
Country: de
languages for de
de/1993
Began: 1993
Languages for 1993
1990s languages
Fifth generation
Post-Cold War
Published: 1993
1993
for SEquential THEOrem prover
Moser Technische Universitaet Muenchen Institut fuer Informatik 1993
Automated theorem prover for formulae of predicate logic, based on the calculus of connection "tableaux".
Resources
page at CMU AI repository
external link