BibTeX record conf/nldb/HoracekW04

download as .bib file

@inproceedings{DBLP:conf/nldb/HoracekW04,
  author       = {Helmut Horacek and
                  Magdalena Wolska},
  editor       = {Farid Meziane and
                  Elisabeth M{\'{e}}tais},
  title        = {Interpreting Semi-formal Utterances in Dialogs about Mathematical
                  Proofs},
  booktitle    = {Natural Language Processing and Information Systems, 9th International
                  Conference on Applications of Natural Languages to Information Systems,
                  {NLDB} 2004, Salford, UK, June 23-25, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3136},
  pages        = {26--38},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27779-8\_3},
  doi          = {10.1007/978-3-540-27779-8\_3},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/nldb/HoracekW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics