Mechanizing Some Advanced Refinement Concepts.

Joakim von Wright Jukka Hekanaho P. Luostarinen Thomas Långbacka

Published in: Formal Methods Syst. Des. (1993)

Keyphrases

neural network
similarity measure
background knowledge
databases
real world
hidden markov models
domain specific
concept learning
knowledge structures
key concepts