The Vitali covering theorem in constructive mathematics.

Hannes Diener Anton Hedin

Published in: J. Log. Anal. (2012)

Keyphrases

computer science
von neumann
real time
real world
expert systems
computer algebra
digital topology
minimum volume
data sets
decision making
case study
bayesian networks
relational databases