Formal Development of ML Programs: Methodological Aspects.

Donald Sannella Andrzej Tarlecki

Published in: ADT (1988)

Keyphrases

methodological aspects
maximum likelihood
knowledge based systems
pattern recognition
real time
knowledge base
natural language
knowledge acquisition
intelligent systems
handling uncertainty