Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis.

Zlatan Damnjanovic

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

Keyphrases

neural network
image analysis
information retrieval
information systems
real time
machine learning
knowledge base
three dimensional
relational databases
control system