Human-Oriented Proof Techniques are Relevant for Proof Tutoring (bibtex)

by Marvin Schiller, Christoph Benzmüller

Reference:

Human-Oriented Proof Techniques are Relevant for Proof Tutoring (Marvin Schiller, Christoph Benzmüller), In Workshop on Mathematically Intelligent Proof Search (MIPS 2010, affiliated with CICM 2010), 2010. (Url (preprint): http://christoph-benzmueller.de/papers/W45.pdf)

Bibtex Entry:

@inproceedings{W45, Address = {Paris, France}, Author = {Marvin Schiller and Christoph Benzm{\"u}ller}, Booktitle = {Workshop on Mathematically Intelligent Proof Search (MIPS 2010, affiliated with CICM 2010)}, Keywords = {own, Proof Presentation, DIALOG, Natural Language Dialog, Proof Assistants, Machine Learning, Tutoring Systems}, Title = {Human-Oriented Proof Techniques are Relevant for Proof Tutoring}, Note = {Url (preprint): \url{http://christoph-benzmueller.de/papers/W45.pdf}}, Year = 2010, }

Powered by bibtexbrowser