Elementary extensions of recursively saturated models of arithmetic.

Craig Smorynski

Published in: Notre Dame J. Formal Log. (1981)

Keyphrases

statistical models
database systems
databases
artificial intelligence
real world
information retrieval
genetic algorithm
decision making
case study
training data
model selection
parameter estimation
machine learning algorithms
experimental data