A shorter proof of a recent result by R. Di Paola.

Claudio Bernardi

Published in: Notre Dame J. Formal Log. (1984)

Keyphrases

multiresolution
artificial intelligence
databases
real world
information systems
e learning
image processing
multimedia
image segmentation
video sequences
cooperative
expert systems
probabilistic model
theorem prover