Recursion over Realizability Structures

Roberto M. Amadio

Published in: Inf. Comput. (1991)

Keyphrases

information systems
deductive databases
real time
data sets
learning algorithm
decision making
knowledge base
feature space
data model
complex structures
structural features