Sign in
The CADE-26 automated theorem proving system competition - CASC-26.
Geoff Sutcliffe
Published in:
AI Commun. (2017)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
answer set programming
artificial intelligence
first order logic
classical logic
real time
knowledge base
random variables