Glivenko theorems revisited.

Published in: Ann. Pure Appl. Log. (2009)

Keyphrases

real time
digital topology
databases
computer vision
image processing
expert systems
small number
sufficient conditions