by Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier
Reference:
Deep Inference for Automated Proof Tutoring? (Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier), In KI 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings (Joachim Hertzberg, Michael Beetz, Roman Englert, eds.), Springer, volume 4667, pp. 435-439, 2007. (Url (preprint): http://christoph-benzmueller.de/papers/C24.pdf)
Bibtex Entry:
@inproceedings{C24,
Author = {Christoph Benzm{\"u}ller and Dominik Dietrich and
Marvin Schiller and Serge Autexier},
Booktitle = {KI 2007: Advances in Artificial Intelligence, 30th
Annual German Conference on AI, KI 2007,
Osnabr{\"u}ck, Germany, September 10-13, 2007,
Proceedings},
Doi = {10.1007/978-3-540-74565-5_34},
Editor = {Joachim Hertzberg and Michael Beetz and Roman
Englert},
Keywords = {own, Proof Assistants, OMEGA, Tutoring Systems, Deep
Inference},
Pages = {435-439},
Publisher = {Springer},
Title = {Deep Inference for Automated Proof Tutoring?},
Note = {Url (preprint):
\url{http://christoph-benzmueller.de/papers/C24.pdf}},
Volume = 4667,
Year = 2007,
}