Studying the ML Module System in Hol.

Savi Maharaj Elsa L. Gunter

Published in: TPHOLs (1994)

Keyphrases

maximum likelihood
databases
theorem prover
formal methods
e learning
probabilistic model
real world
information retrieval
search algorithm
relational databases
mobile robot
theorem proving
natural deduction
higher order logic