Reasoning with the Formal Definition of Standard ML in HOL.

Published in: HUG (1993)

Keyphrases

maximum likelihood
machine learning
information systems
real time
knowledge base
database
data sets
search algorithm
higher order
theorem proving
automated reasoning