Login / Signup
An Implementation of the Heine-Borel Covering Theorem in Type Theory.
Jan Cederquist
Published in:
TYPES (1996)
Keyphrases
</>
von neumann
theoretical framework
website
database
databases
neural network
real world
data mining
image sequences
general purpose
markov chain
markov decision processes
theoretical foundation
information theory
long run
implementation details