ERNA and Friedman's Reverse Mathematics.

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

Keyphrases

computer science
statistical tests
computer assisted instruction
computer vision
computer algebra
post hoc
databases
feature selection
e learning
cooperative
computer assisted learning
word problems