Reverse mathematics, trichotomy, and dichotomy.

François G. Dorais Jeffry L. Hirst Paul Shafer

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

Keyphrases

computer science
computer assisted instruction
learning environment
database
information retrieval
artificial intelligence
case study
feature extraction
video sequences
scheduling problem
mathematical knowledge