Search: Proof Step Analysis For Proof Tutoring -- A Learning Approach
2008
[1]Proof Step Analysis for Proof Tutoring -- A Learning Approach to Granularity (Marvin Schiller, Dominik Dietrich, Christoph Benzmüller), In Teaching Mathematics and Computer Science, volume 6, number 2, pp. 325-343, 2008. (Preprint: http://christoph-benzmueller.de/papers/J19.pdf) [bibtex]