Gödel functional interpretation and weak compactness.

Ulrich Kohlenbach

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

image interpretation
genetic algorithm
information systems
functional analysis
neural network
machine learning
artificial intelligence
computer vision
semantic interpretation