Reverse mathematics and Peano categoricity.

Stephen G. Simpson Keita Yokoyama

Published in: Ann. Pure Appl. Log. (2013)

Keyphrases

computer science
computer algebra
data sets
real world
machine learning
genetic algorithm
knowledge base
clustering algorithm
reinforcement learning
objective function
special case
computer assisted instruction