Some Elementary Results in Intuitionistic Model Theory.
Wim VeldmanFrank WaaldijkPublished in: J. Symb. Log. (1996)
Keyphrases
- computational model
- formal model
- mathematical framework
- probability distribution
- theoretical framework
- mathematical model
- high level
- data sets
- theoretical foundation
- cost function
- artificial neural networks
- probabilistic model
- expert systems
- similarity measure
- statistical model
- experimental data
- computational models
- prediction model
- conceptual framework
- mathematical models
- information systems