A Lemma Driven Automatic Theorem Prover for Recursive Function Theory.

Robert S. Boyer J. Strother Moore

Published in: IJCAI (1977)

Keyphrases

theorem prover
computer algebra
theorem proving
boolean algebra
data driven
first order logic
term rewriting
inference rules
automated reasoning
formal proof
theoretical framework
formal semantics
automated theorem proving
natural deduction
driven learning
machine learning
knowledge base
artificial intelligence