Predicative foundations of arithmetic.

Solomon Feferman Geoffrey Hellman

Published in: J. Philos. Log. (1995)

Keyphrases

artificial intelligence
arithmetic operations
neural network
computer vision
multimedia
clustering algorithm
image sequences
multi agent
object recognition
preprocessing
probabilistic model