@InProceedings{BeKrPiWo2007,
AUTHOR = {Benzmüller, Christoph and Kruijff-Korbayova, Ivana and Pinkal, Manfred and Wolska, Magdalena},
TITLE = {Natural language dialog with a tutor system for mathematical proofs},
YEAR = {2007},
BOOKTITLE = {Proceedings of the Joint Chinese-German Workshop on Cognitive Systems 2005, Shanghai, China},
VOLUME = {4429},
PAGES = {1-14},
EDITOR = {Lu, Ruqian and Siekmann, Joerg and Ullrich, Carsten},
SERIES = {Lecture Notes in Artificial Intelligence},
PUBLISHER = { Springer-Verlag},
NOTE = {MP}
}
|
