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




@InProceedings{Benzmüller_et_al:2003_1,
      AUTHOR = {Benzmüller, Christoph and Fiedler, Armin and Gabsdil, Malte and Horacek, Helmut and Korbayova, Ivana and Tsovaltzi, Dimitra and Vo, Bao Quoc and Wolska, Magdalena},
      TITLE = {Towards a Principled Approach to Tutoring Mathematical Proofs},
      YEAR = {2003},
      BOOKTITLE = {Proceedings of the KI-03 Workshop on Expressive Media and Intelligent Tools for Learning},
      EDITOR = {Harrer, Andreas and Gaßner, Katrin},
      ADDRESS = {Hamburg, Germany}
}