On the computational content of the Bolzano-Weierstraß Principle.

Pavol Safarik Ulrich Kohlenbach

Published in: Math. Log. Q. (2010)

Keyphrases

multimedia
user generated
textual content
database
multimedia data
web content
neural network
metadata
case study
multiscale
digital libraries
multi objective
content delivery
ctl model update