Computational Foundations of Basic Recursive Function Theory.

Robert L. Constable Scott F. Smith

Published in: Theor. Comput. Sci. (1993)

Keyphrases

artificial intelligence
image processing
computational models
formal theory
knowledge base
computer vision
database systems
theoretical basis
multi valued
general theory