Forcing for the Impredicative Theory of Classes.

Rolando Chuaqui

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

Keyphrases

neural network
search engine
computer vision
database systems
computer science
feature space
information technology
information theory