More reverse mathematics of the Heine-Borel Theorem.

Jeffry L. Hirst Jessica Miller

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

Keyphrases

markov decision processes
computer science
real time
multiscale
computer assisted learning
real world
data mining
learning algorithm
computer algebra
mathematics education