Sign in
The CADE-20 Automated Theorem Proving Competition.
Geoff Sutcliffe
Published in:
AI Commun. (2006)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
real time
neural network
relational databases
graphical models
logic programs
inference rules