On Gödel incompleteness and finite combinatorics.

Akihiro Kanamori Kenneth McAloon

Published in: Ann. Pure Appl. Log. (1987)

Keyphrases

graph theory
finite number
knowledge base
multiscale
missing values
valued logic
digital libraries
hidden markov models
social bookmarking