A Computer Verified Theory of Compact Sets

Russell O'Connor

Published in: CoRR (2008)

Keyphrases

theoretical basis
computer systems
conceptual framework
set theoretic
database
databases
knowledge base
case study
multiscale
multi agent
theoretical framework
decision theory
computer programs