Models of true arithmetic are integer parts of models of real exponentation.

Merlin Carl Lothar Sebastian Krapp

Published in: J. Log. Anal. (2021)

Keyphrases

probabilistic model
decision trees
training data
real life
statistical models
database
real time
real world
data mining
search engine
multi agent systems
relational databases
prior knowledge
model selection
parameter estimation
accurate models