Expanding the additive reduct of a model of Peano arithmetic.

Masahiko Murakami Akito Tsuboi

Published in: Math. Log. Q. (2003)

Keyphrases

computational model
mathematical model
rough sets
case study
high level
management system
parameter estimation
statistical model
prior knowledge
probabilistic model
probability distribution
markov random field
theoretical analysis
experimental data