Propositional Provability and Models of Weak Arithmetic.

Jan Krajícek Pavel Pudlák

Published in: CSL (1989)

Keyphrases

experimental data
parameter estimation
statistical models
neural network
real world
data mining
case study
model selection
parametric models