HOL Light: A Tutorial Introduction.

Published in: FMCAD (1996)

Keyphrases

theorem prover
knowledge base
formal methods
natural deduction
real time
data sets
machine learning
learning algorithm
decision making
website
mobile robot
inference rules