A Topological Model for Troelstra's System CS of Intuitionistic Analysis.
Konrad SchultzPublished in: Math. Log. Q. (1980)
Keyphrases
- formal model
- statistical model
- experimental data
- probabilistic model
- data sets
- simulation model
- mathematical model
- computational model
- logic programs
- neural network model
- theoretical framework
- parameter estimation
- management system
- prior knowledge
- computer science
- multi agent
- image sequences
- decision making
- social networks
- data mining