Refining the Taming of the Reverse Mathematics Zoo.

Published in: Notre Dame J. Formal Log. (2018)

Keyphrases

computer science
data mining
computer programming
data sets
web services
computer algebra
machine learning
domain knowledge
computer assisted instruction