Dominik Dietrich, Mark Buckley. Verification of Proof Steps for Tutoring Mathematical Proofs. In Rosemary Luckin, Kenneth R. Koedinger, Jim E. Greer, editors, Artificial Intelligence in Education, Building Technology Rich Learning Contexts That Work, Proceedings of the 13th International Conference on Artificial Intelligence in Education, AIED 2007, July 9-13, 2007, Los Angeles, California, USA. Volume 158 of Frontiers in Artificial Intelligence and Applications, pages 560-562, IOS Press, 2007.
No references recorded for this publication.
No citations of this publication recorded.