Tutorial on High-Performance Automated Theorem Proving.

Ewing L. Lusk William McCune

Published in: CADE (1990)

Keyphrases

automated theorem proving
theorem proving
theorem prover
answer set programming
classical logic
high reliability
neural network
first order logic
artificial intelligence
object oriented
software engineering
data intensive
small sized