Eastern Model-Theory for Boolean-Valued Theories.
George GeorgescuIana VoiculescuPublished in: Math. Log. Q. (1985)
Keyphrases
- computational model
- theoretical framework
- mathematical model
- formal model
- computational models
- statistical model
- probabilistic model
- mathematical models
- management system
- similarity measure
- high level
- machine learning
- theoretical analysis
- parameter estimation
- information retrieval
- experimental data
- conceptual model
- neural network model
- neural network
- data sets