Deep Inference for Automated Proof Tutoring?

Benzmüller, Christoph; Dietrich, Dominik; Schiller, Marvin; Autexier, Serge

doi:10.1007/978-3-540-74565-5_34

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. (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?},
  Addendum =	 {Preprint:
                  \url{http://christoph-benzmueller.de/papers/C24.pdf}},
  Volume =	 4667,
  Year =	 2007,
}