Login / Signup
E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover.
Gernot Stenz
Andreas 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