Computability by means of effectively definable schemes and definability via enumerations.

Published in: Arch. Math. Log. (1990)

Keyphrases

fixed point
case study
first order logic
data sets
genetic algorithm
special case
real time
databases
neural network
computer vision
image processing
image segmentation
expressive power
data exchange
propositional logic