Presenting Proofs with Adapted Granularity (bibtex)
by Marvin Schiller, Christoph Benzmüller
Reference:
Presenting Proofs with Adapted Granularity (Marvin Schiller, Christoph Benzmüller), In KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings (Bärbel Mertsching, Marcus Hund, Muhammad Zaheer Aziz, eds.), Springer, LNAI, volume 5803, pp. 289-297, 2009. (Preprint: http://christoph-benzmueller.de/papers/C31.pdf)
Bibtex Entry:
@inproceedings{C31,
  Address =	 {Paderborn, Germany},
  Author =	 {Marvin Schiller and Christoph Benzm{\"u}ller},
  Booktitle =	 {KI 2009: Advances in Artificial Intelligence, 32nd
                  Annual German Conference on AI, Paderborn, Germany,
                  September 15-18, 2009. Proceedings},
  Doi =		 {10.1007/978-3-642-04617-9_37},
  Editor =	 {B{\"a}rbel Mertsching and Marcus Hund and Muhammad
                  Zaheer Aziz},
  Isbn =	 {978-3-642-04616-2},
  Keywords =	 {own, Proof Presentation, DIALOG, Natural Language
                  Dialog, Proof Assistants, Machine Learning, Tutoring
                  Systems},
  Pages =	 {289-297},
  Publisher =	 {Springer},
  Series =	 {LNAI},
  Title =	 {Presenting Proofs with Adapted Granularity},
  Note =	 {Preprint:
                  \url{http://christoph-benzmueller.de/papers/C31.pdf}},
  Volume =	 5803,
  Year =	 2009,
}