Computational Foundations of Basic Recursive Function Theory

Robert L. Constable Scott F. Smith

Published in: LICS (1988)

Keyphrases

theoretical framework
theoretical basis
artificial intelligence
computational models
artificial neural networks
formal theory
general theory
multi valued
piecewise linear
computational model
real time
decision trees
decision making
information systems
real world
neural network
databases
data sets