Theory Links: Applications to Automated Theorem Proving.

Neil V. Murray Erik Rosenthal

Published in: J. Symb. Comput. (1987)

Keyphrases

automated theorem proving
theorem prover
theorem proving
theoretical basis
neural network
case study
theoretical framework
classical logic
data mining
knowledge base
information theory
answer set programming
formal theory