Login / Signup
Revising basic theorem proving algorithms to cope with the logic of partial functions.
Cliff B. Jones
Matthew J. Lovert
L. Jason Steggles
Published in:
Sci. Comput. Program. (2014)
Keyphrases
</>
theorem proving
proof procedure
automated reasoning
orders of magnitude
predicate calculus
automated theorem proving
geometry theorem proving
first order logic
proof planning
consequence finding
learning algorithm
training data
theorem prover
distributed search