Classical realizability and arithmetical formulæ.

Mauricio Guillermo Étienne Miquey

Published in: CoRR (2014)

Keyphrases

three dimensional
multiscale
multi agent
genetic algorithm
social networks
computer vision
data structure
data streams
computational complexity
preprocessing
image analysis
mobile robot
classical methods