A While-Rule in Martin-Löf's Theory of Types.

Roland Carl Backhouse A. Khamiss

Published in: Comput. J. (1987)

Keyphrases

theoretical basis
database
artificial intelligence
general theory
neural network
information retrieval
image processing
case study
database systems
support vector
relational databases
theoretical framework
classification rules
conceptual framework