Sign in
The CADE-28 Automated Theorem Proving System Competition - CASC-28.
Geoff Sutcliffe
Martin Desharnais
Published in:
AI Commun. (2021)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
inference rules
first order logic
search engine
high level
information retrieval
incomplete information
international competition