Generalizations of the Recursion Theorem.

Sebastiaan A. Terwijn

Published in: CoRR (2018)

Keyphrases

von neumann
deductive databases
complex objects
neural network
computer vision
image processing
multi agent systems
relational databases
data streams
interactive theorem proving
transitive closure
medical images
multiresolution
real time
image segmentation
decision trees
metadata
machine learning
data sets