STP: A Simple Theorem Prover for IBM-PC Compatible Computers.

Blayne E. Mayfield Timothy B. Baird

Published in: SIGSMALL/PC Symposium (1990)

Keyphrases

theorem prover
theorem proving
automated reasoning
automated theorem proving
first order logic
automated deduction
formal proof
natural deduction
term rewriting
higher order logic
inference rules
computer algebra