Saturated Models of Peano Arithmetic.

Jean-François Pabion

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

Keyphrases

prior knowledge
case study
parametric models
genetic algorithm
image processing
similarity measure
relational databases
probabilistic model
statistical model