Subsystems of True Arithmetic and Hierarchies of Functions.

Zygmunt Ratajczyk

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

Keyphrases

database
search engine
databases
artificial intelligence
computer vision
multiscale
support vector
arithmetic operations