Ramsey's Theorem for Computably Enumerable Colorings.

Tamara Lakins Hummel Carl G. Jockusch Jr.

Published in: J. Symb. Log. (2001)

Keyphrases

graph coloring
inductive inference
von neumann
hypothesis space
digital topology
data sets
machine learning
knowledge base
image segmentation
bayesian networks
combinatorial problems
interactive theorem proving