A functional interpretation for nonstandard arithmetic.

Benno van den Berg Eyvind Martol Briseid Pavol Safarik

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

Keyphrases

image interpretation
scene interpretation
artificial intelligence
high level
information retrieval
functional analysis
real time
data sets
image processing
relational databases