Open questions in reverse mathematics.

Antonio Montalbán

Published in: Bull. Symb. Log. (2011)

Keyphrases

open questions
future directions
computer science
computer assisted instruction
image processing
computer vision
high level
computer algebra
database
machine learning
case study