Introduction to the HOL System.

Michael J. C. Gordon

Published in: TPHOLs (1991)

Keyphrases

higher order logic
formal methods
higher order
data mining
decision making
theorem prover
database
real time
data sets
real world
decision trees
data analysis
logical framework
natural deduction