Sign in
The 7th IJCAR automated theorem proving system competition - CASC-J7.
Geoff Sutcliffe
Published in:
AI Commun. (2015)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
answer set programming
international competition
first order logic
information systems
classical logic
database
competitive market
neural network
relational databases
programming language