LCF Examples in HOL.

Published in: TPHOLs (1994)

Keyphrases

pairwise
formal methods
database
real time
data sets
databases
machine learning
search engine
information systems
face recognition
multi agent
lower bound
knowledge representation
training examples