Login / Signup

The CADE-24 automated theorem proving system competition - CASC-24.

Geoff Sutcliffe
Published in: AI Commun. (2014)
Keyphrases
  • automated theorem proving
  • theorem proving
  • theorem prover
  • answer set programming
  • neural network
  • international competition
  • artificial intelligence
  • high level
  • programming language
  • first order logic