A Learning Procedure for Mathematics.

Published in: Ann. Math. Artif. Intell. (1993)

Keyphrases

learning systems
learning algorithm
learning process
prior knowledge
background knowledge
supervised learning
online learning
learning problems
inductive learning
website
learning tasks
learning community
computer assisted instruction