The Separation Theorem of Intuitionist Propositional Calculus.

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

Keyphrases

propositional calculus
von neumann
neural network
feature selection
database
artificial intelligence
social networks
e learning
knowledge base
image processing
three dimensional
multi agent systems
artificial neural networks
color images
probabilistic model
logic programs