Another Simple Proof of a Theorem of Milner.

Published in: J. Comb. Theory, Ser. A (1999)

Keyphrases

interactive theorem proving
image processing
highly reliable
data sets
data mining
information retrieval
computer vision
feature selection
database systems
multi agent systems
hidden markov models