Login / Signup
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