Sub-exercise Generation Support Environment for Logical Understanding of Mathematics

Yusuke Nogami, Tomoko Kojiri. Sub-exercise Generation Support Environment for Logical Understanding of Mathematics. In Manuel GraƱa, Carlos Toro, Jorge Posada, Robert J. Howlett, Lakhmi C. Jain, editors, Advances in Knowledge-Based and Intelligent Information and Engineering Systems - 16th Annual KES Conference, San Sebastian, Spain, 10-12 September 2012. Volume 243 of Frontiers in Artificial Intelligence and Applications, pages 1131-1140, IOS Press, 2012. [doi]

Abstract

Abstract is missing.