Uniform Gentzen Systems.

Raymond M. Smullyan

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

Keyphrases

expert systems
complex systems
neural network
management system
computer systems
learning systems
computing systems
real time
machine learning
decision trees
three dimensional
intelligent systems
knowledge based systems
building blocks