![](https://www.pdfsearch.io/img/f9a03e64f01184ec637573caac0b7b4c.jpg) Date: 2010-09-26 13:55:32
| | Human-Oriented Proof Techniques are Relevant for Proof Tutoring (Extended Abstract) Marvin Schiller and Christoph Benzm¨uller Saarland University, Germany and Articulate Software, USA Automated theorem proving techniqueAdd to Reading ListSource URL: www.marvin-schiller.deDownload Document from Source Website File Size: 33,99 KBShare Document on Facebook
|