Sign in
TPTP, TSTP, CASC, etc.
Geoff Sutcliffe
Published in:
CSR (2007)
Keyphrases
</>
automated theorem proving
first order logic
artificial intelligence
software engineering