Sign in
The CADE-24 automated theorem proving system competition - CASC-24.
Geoff Sutcliffe
Published in:
AI Commun. (2014)
Keyphrases
</>
automated theorem proving
theorem proving
theorem prover
answer set programming
neural network
international competition
artificial intelligence
high level
programming language
first order logic