Login / Signup
Building Theorem Provers.
Mark E. Stickel
Published in:
CADE (2009)
Keyphrases
</>
theorem prover
automated reasoning
inference rules
theorem proving
first order logic
computer algebra
term rewriting
automated theorem proving
automated deduction
higher order logic
data mining
machine learning
search space
formal semantics
proof search
timed automata