Sign in
Automated Theorem Proving using the TPTP Process Instruction Language.
Muhammad Nassar
Geoff Sutcliffe
Published in:
PAAR@IJCAR (2014)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
programming language
language learning
answer set programming
neural network
knowledge base
training data
general purpose
conceptual model