Michael H. Sims;John L. Bresina
-;-
Mathematical applications of inductive logic programming
Machine Learning
A computational account of conceptual blending in basic mathematics
Cognitive Systems Research