LCF Examples in HOL.

Published in: Comput. J. (1995)

Keyphrases

databases
control system
training examples
real time
neural network
real world
information retrieval
genetic algorithm
learning algorithm
objective function
data structure
special case