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.
@inproceedings{DietrichB07,
title = {Verification of Proof Steps for Tutoring Mathematical Proofs},
author = {Dominik Dietrich and Mark Buckley},
year = {2007},
researchr = {https://researchr.org/publication/DietrichB07},
cites = {0},
citedby = {0},
pages = {560-562},
booktitle = {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},
editor = {Rosemary Luckin and Kenneth R. Koedinger and Jim E. Greer},
volume = {158},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-58603-764-2},
}