%0 Journal Article %1 cadgme2007a %A Schiller, Marvin %A Dietrich, Dominik %A Benzmüller, Christoph %D 2008 %J Teaching Mathematics and Computer Science. %K imported %N 2 %P 325 -- 343 %T Proof Step analysis for proof tutoring -- a learning approach to granularity %V 6

@article{cadgme2007a, added-at = {2009-04-15T14:24:46.000+0200}, author = {Schiller, Marvin and Dietrich, Dominik and Benzm\"{u}ller, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/219c8fe2d55036340a34e22b341c14dd6/marvinschiller}, interhash = {7ba6fcb7dd8762989d827f953389d3db}, intrahash = {19c8fe2d55036340a34e22b341c14dd6}, journal = {Teaching Mathematics and Computer Science.}, keywords = {imported}, number = 2, pages = {325 -- 343}, timestamp = {2009-04-15T14:24:46.000+0200}, title = {Proof Step analysis for proof tutoring -- a learning approach to granularity}, volume = 6, year = 2008 }