Granularity Judgments in Proof Tutoring? Marvin Schiller and Christoph Benzm¨ uller Dept. of Computer Science, Saarland University, Germany {schiller, chris - Marvin - Document - PDFSEARCH.IO

First Page	Meta Content
	Granularity Judgments in Proof Tutoring? Marvin Schiller and Christoph Benzm¨ uller Dept. of Computer Science, Saarland University, Germany {schiller, chris}@ags.uni-sb.de Add to Reading List Document Date: 2008-12-29 05:40:36 Open Document File Size: 60,21 KB Share Result on Facebook

Granularity Judgments in Proof Tutoring? Marvin Schiller and Christoph Benzm¨ uller Dept. of Computer Science, Saarland University, Germany {schiller, chris}@ags.uni-sb.deAdd to Reading List