Login / Signup
An Explanatory Framework for Human Theorem Proving.
Xiaorong Huang
Published in:
GWAI (1992)
Keyphrases
</>
theorem proving
automated reasoning
first order logic
decision procedures
consequence finding
theorem prover
automatic programming
parallel search
machine learning
artificial intelligence
bayesian networks
search algorithm
inference rules
automated theorem proving
logical inference
geometry theorem proving