Problems and Experiments for and with Automated Theorem-Proving Programs.

John D. McCharen Ross A. Overbeek Larry Wos

Published in: IEEE Trans. Computers (1976)

Keyphrases

automated theorem proving
theorem proving
neural network
high level
reinforcement learning
benchmark problems
problems involving
knowledge base
optimal solution
general purpose
np complete
labeled data
theorem prover