What Is Automated Theorem Proving?

W. W. Bledsoe Lawrence J. Henschen

Published in: J. Autom. Reason. (1985)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
first order logic
classical logic
inference rules
machine learning
active learning