Models of Intuitionistic Set Theories over Partial Combinatory Algebras.

Michael Rathjen

Published in: TAMC (2006)

Keyphrases

probabilistic model
neural network
computational models
mathematical models
formal models
small number
model selection
information retrieval
genetic algorithm
artificial intelligence
decision trees
statistical models