Login / Signup
Proof Methods in an Agenda-Based Natural-Deduction Theorem Prover.
Mabry Tyson
Published in:
AAAI (1982)
Keyphrases
</>
theorem prover
natural deduction
theorem proving
inference rules
automated reasoning
automated theorem proving
first order logic
term rewriting
higher order logic
feature selection
computer algebra
cut elimination
machine learning
supervised learning