Towards Computer-Assisted Proof Tutoring∗ Marvin Schiller1 , Dominik Dietrich1 , and Christoph Benzm¨ uller1,2 1 Dept. of Computer Science, Saarland University, - Computer-assisted proof - Document - PDFSEARCH.IO

First Page	Meta Content
	Towards Computer-Assisted Proof Tutoring∗ Marvin Schiller1 , Dominik Dietrich1 , and Christoph Benzm¨ uller1,2 1 Dept. of Computer Science, Saarland University, Add to Reading List Document Date: 2008-12-29 05:40:51 Open Document File Size: 104,65 KB Share Result on Facebook

Towards Computer-Assisted Proof Tutoring∗ Marvin Schiller1 , Dominik Dietrich1 , and Christoph Benzm¨ uller1,2 1 Dept. of Computer Science, Saarland University,Add to Reading List