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. [bibtex] [pdf]
Powered by bibtexbrowser