Sign in
The CADE-25 Automated Theorem Proving system competition - CASC-25.
Geoff Sutcliffe
Josef Urban
Published in:
AI Commun. (2016)
Keyphrases
</>
automated theorem proving
theorem proving
theorem prover
answer set programming
international competition
social networks
data mining
machine learning
information retrieval