Sign in
The CADE-22 automated theorem proving system competition - CASC-22.
Geoff Sutcliffe
Published in:
AI Commun. (2010)
Keyphrases
</>
automated theorem proving
theorem proving
theorem prover
answer set programming
inference rules
classical logic
neural network
data mining
software engineering
programming language
international competition