Two Theorems on Degrees of Models of True Arithmetic.

Julia F. Knight Alistair H. Lachlan Robert I. Soare

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

Keyphrases

databases
machine learning
statistical models
prior knowledge
real time
genetic algorithm
search engine
similarity measure
expert systems
computational models
accurate models