Proof Step Analysis for Proof Tutoring - A Learning Approach to Granularity
Teaching Mathematics and Computer Science
doi 10.5485/tmcs.2008.0183
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2008
Authors
Publisher
University of Debrecen/ Debreceni Egyetem