M and HOL.

Konrad Slind Michael J. C. Gordon Richard J. Boulton Alan Bundy

Published in: CADE (1998)

Keyphrases

theorem prover
formal methods
natural deduction
higher order logic
higher order
inference rules
theorem proving
artificial intelligence
dynamic programming
data points