TPTP, CASC and the development of a semantically guided theorem prover.

Kahlil Hodgson John K. Slaney

Published in: AI Commun. (2002)

Keyphrases

theorem prover
automated theorem proving
first order logic
automated reasoning
term rewriting
theorem proving
inference rules
computer algebra
automated deduction
software engineering
design process
formal semantics
boolean algebra
proof planning
higher order logic
formal proof