%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:42:42 +0100 GMT
%    
% Selection : Author: Ruqian_Lu
%




@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}
}