Sign in
The 8th IJCAR automated theorem proving system competition - CASC-J8.
Geoff Sutcliffe
Published in:
AI Commun. (2016)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
website
inference rules
expert systems
first order logic
fixed point