Login / Signup
Zermelo's Well-Ordering Theorem in Type Theory.
Danko Ilik
Published in:
TYPES (2006)
Keyphrases
</>
von neumann
theoretical framework
real time
feature selection
multimedia
general theory
data sets
databases
machine learning
knowledge base
metadata
information theory
digital topology