HOL-ML.

Myra Van Inwegen Elsa L. Gunter

Published in: HUG (1993)

Keyphrases

maximum likelihood
theorem prover
natural deduction
formal methods
image processing
first order logic
higher order logic
high quality
expert systems
neural network
decision making
lower bound
higher order
expectation maximization
em algorithm