Studying the ML Module System in HOL.

Elsa L. Gunter Savi Maharaj

Published in: Comput. J. (1995)

Keyphrases

maximum likelihood
theorem prover
formal methods
expert systems
natural deduction
database
search engine
multimedia
case study
hidden markov models
higher order logic