Sign in

CASC-J4 The 4th IJCAR ATP System Competition.

Geoff Sutcliffe
Published in: IJCAR (2008)
Keyphrases
  • theorem prover
  • international competition
  • automated theorem proving
  • multiscale
  • data structure
  • probabilistic model