Login / Signup
First Steps in Synthetic Computability Theory.
Andrej Bauer
Published in:
MFPS (2005)
Keyphrases
</>
theoretical framework
real world
general theory
theoretical basis
wide range
machine learning
digital libraries
computational model
grounded theory
probability theory
theoretical foundation
search algorithm
database systems
multimedia
social networks
learning algorithm
genetic algorithm