Using Ramsey's theorem once.

Jeffry L. Hirst Carl Mummert

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

Keyphrases

image processing
hidden markov models
von neumann
real time
genetic algorithm
social networks
information systems
clustering algorithm
cooperative
expert systems
pairwise
sufficient conditions
interactive theorem proving