Book Review: Introduction to HOL: A Theorem Proving Environment for Higher Order Logic by Mike Gordon and Tom Melham (eds.), Cambridge University Press, 1993, ISBN 0-521-44189-7.
Graham HuttonPublished in: J. Funct. Program. (1994)
Keyphrases
- theorem proving
- theorem prover
- higher order logic
- automated reasoning
- first order logic
- term rewriting
- inference rules
- higher order
- automated deduction
- decision procedures
- automated theorem proving
- natural deduction
- parallel search
- proof planning
- proof procedure
- combinatorial search
- logical inference
- proof search
- geometry theorem proving
- conditional logic
- consequence finding
- predicate calculus