Enayat Models of Peano Arithmetic.

Athar Abdul-Quader

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

Keyphrases

prior knowledge
statistical models
computational models
machine learning
information retrieval
search engine
image processing
multi agent
complex systems
bayesian framework
modeling framework
accurate models