Dominik Dietrich and
Mark Buckley. Verification of Proof Steps for Tutoring Mathematical Proofs. In Proceedings of the 13th International Conference on Artificial Intelligence in Education, , Los Angeles, USA, 2007. IOS Press, Pages 560-562, 2007.
Note: MP.
@InProceedings{DiBu2007a,
AUTHOR = {Dietrich, Dominik and Buckley, Mark},
TITLE = {Verification of Proof Steps for Tutoring Mathematical Proofs},
YEAR = {2007},
BOOKTITLE = {Proceedings of the 13th International Conference on Artificial Intelligence in Education, , Los Angeles, USA, 2007. IOS Press},
PAGES = {560-562},
NOTE = {MP}
}
|
