Sign in
The 10th IJCAR automated theorem proving system competition - CASC-J10.
Geoff Sutcliffe
Published in:
AI Commun. (2021)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
data mining
international competition
inference rules
real time
learning algorithm
case study
logic programming
first order logic