Realizability algebras II : new models of ZF + DC

Jean-Louis Krivine

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

complex systems
statistical models
computer vision
probabilistic model
statistical model
real time
neural network
real world
learning algorithm
mathematical models
accurate models