Search: Natural Language Dialog With A Tutor System For Mathematical
2007
[1]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] [doi]
Powered by bibtexbrowser