Ramsey's theorem and König's Lemma.

Thomas E. Forster John Kenneth Truss

Published in: Arch. Math. Log. (2007)

Keyphrases

johnson lindenstrauss
von neumann
intuitionistic logic
neural network
multimedia
high dimensional
feature vectors
wireless sensor networks