Model-Completions of Theories of Finitely Additive Measures with Values in An Ordered Field.

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

Keyphrases

computational model
information systems
parameter values
mathematical model
formal model
theoretical framework
parameter estimation
high level
process model
experimental data
neural network model
probabilistic model
data mining
statistical model
conceptual model
feature selection
theoretical models
logical formulas