Löb's Theorem in a Set Theoretical Setting.

Cezary Cieslinski

Published in: Stud Logica (2003)

Keyphrases

real time
probability distribution
small number
neural network
real world
information retrieval
image processing
multiscale
multi agent systems
active learning
theoretical analysis