Login / Signup

TPTP, TSTP, CASC, etc.

Geoff Sutcliffe
Published in: CSR (2007)
Keyphrases
  • automated theorem proving
  • first order logic
  • artificial intelligence
  • software engineering