An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving
Lino, Maria Teresa; Xavier, Maria Francisca; Ferreira, Fátima; Costa, Rute; Silva, Raquel (Hrsg). Proceedings of the Fourth International Conference on Language Resources and Evaluation : LREC’04 ; 26 May - 28 May 2004, Lisbon, Portugal. Lisbon: European Language Resources Association (ELRA) 2004 S. 1007 - 1010
Erscheinungsjahr: 2004
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Sprache: Englisch
| Geprüft | Bibliothek |
Inhaltszusammenfassung
Autoren
Wolska, Magdalena (Autor)
Vo, Bao Quoc (Autor)
Tsovaltzi, Dimitra (Autor)
Kruijff-Korbayová, Ivana (Autor)
Karagjosova, Elena (Autor)
Horacek, Helmut (Autor)
Benzmüller, Christoph (Autor)
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Mathematik
