Gödel's Dialectica Interpretation and Its Two-Way Stretch.

Solomon Feferman

Published in: Kurt Gödel Colloquium (1993)

Keyphrases

image interpretation
semantic interpretation
social bookmarking
neural network
image processing
support vector