A Formulation of the Simple Theory of Types.

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

Keyphrases

real time
theoretical framework
information retrieval
support vector
highly reliable
databases
neural network
machine learning
artificial intelligence
relational databases
artificial neural networks
evolutionary algorithm
multiresolution
set theoretic