Back to Results
First PageMeta 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
UPDATE