H ? « ‹ ← → › »

Language peer sets for SETHEO:
Germany↑
Germany/1993↑
Designed 1993 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

SETHEO(ID:3668/set001)

alternate simple view
Country: Germany
Designed 1993
Published: 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
Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder