Natural Language Dialog with a Tutor System for Mathematical Proofs (bibtex)
by Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayova, Manfred Pinkal, Jörg Siekmann, Magdalena Wolska
Reference:
Natural Language Dialog with a Tutor System for Mathematical Proofs (Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayova, Manfred Pinkal, Jörg Siekmann, Magdalena Wolska), Chapter in Cognitive Systems (Ruqian Lu, Jörg Siekmann, Carsten Ullrich, eds.), Springer, LNCS, volume 4429, pp. 1-14, 2007. (Preprint: http://christoph-benzmueller.de/papers/B7.pdf)
Bibtex Entry:
@incollection{B7,
  Author =	 {Christoph Benzm{\"u}ller and Helmut Horacek and
                  Ivana Kruijff-Korbayova and Manfred Pinkal and
                  J{\"o}rg Siekmann and Magdalena Wolska},
  Booktitle =	 {Cognitive Systems},
  Doi =		 {10.1007/978-3-540-70934-3_1},
  Editor =	 {Ruqian Lu and J{\"o}rg Siekmann and Carsten Ullrich},
  Isbn =	 {978-3-540-70933-6},
  Keywords =	 {own, DIALOG, Proof Presentation, Natural Language
                  Dialog, Proof Assistants, Tutoring Systems},
  Pages =	 {1-14},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {Natural Language Dialog with a Tutor System for
                  Mathematical Proofs},
  Note =	 {Preprint:
                  \url{http://christoph-benzmueller.de/papers/B7.pdf}},
  Volume =	 4429,
  Year =	 2007,
}