Realizability as Connection between Constructive and Computable Mathematics.

Published in: CCA (2005)

Keyphrases

computer science
website
e learning
turing machine
computer assisted learning
database
data sets
machine learning
information retrieval
genetic algorithm
learning environment
cooperative