Login / Signup
The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems.
Dag Normann
Published in:
Log. Methods Comput. Sci. (2015)
Keyphrases
</>
probabilistic model
mathematical model
real time
high level
computational model
experimental data
prediction model
data mining
machine learning
artificial neural networks
cost function
probability distribution
management system
parameter estimation
simulation model
object model