The omega-Consistency of Number Theory Via Herbrand's Theorem.

Warren D. Goldfarb T. M. Scanlon

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

Keyphrases

maximum number
small number
learning algorithm
real time
data mining
information systems
bayesian networks
search algorithm
computational complexity
logic programs
theoretical basis