Login / Signup

E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover.

Gernot StenzAndreas Wolf
Published in: Australian Joint Conference on Artificial Intelligence (1999)
Keyphrases
  • theorem prover
  • theorem proving
  • design process
  • computer aided
  • formal proof
  • machine learning
  • higher order
  • first order logic
  • case study
  • probabilistic model
  • semi automated
  • automated theorem proving
  • natural deduction