@inproceedings{wolska-etal-2004-annotated,
title = "An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving",
author = {Wolska, Magdalena and
Vo, Bao Quoc and
Tsovaltzi, Dimitra and
Kruijff-Korbayov{\'a}, Ivana and
Karagjosova, Elena and
Horacek, Helmut and
Fiedler, Armin and
Benzm{\"u}ller, Christoph},
booktitle = "Proceedings of the Fourth International Conference on Language Resources and Evaluation ({LREC}{'}04)",
month = may,
year = "2004",
address = "Lisbon, Portugal",
publisher = "European Language Resources Association (ELRA)",
url = "http://www.lrec-conf.org/proceedings/lrec2004/pdf/669.pdf",
}
<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="wolska-etal-2004-annotated">
<titleInfo>
<title>An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving</title>
</titleInfo>
<name type="personal">
<namePart type="given">Magdalena</namePart>
<namePart type="family">Wolska</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Bao</namePart>
<namePart type="given">Quoc</namePart>
<namePart type="family">Vo</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Dimitra</namePart>
<namePart type="family">Tsovaltzi</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Ivana</namePart>
<namePart type="family">Kruijff-Korbayová</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Elena</namePart>
<namePart type="family">Karagjosova</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Helmut</namePart>
<namePart type="family">Horacek</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Armin</namePart>
<namePart type="family">Fiedler</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Christoph</namePart>
<namePart type="family">Benzmüller</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<originInfo>
<dateIssued>2004-05</dateIssued>
</originInfo>
<typeOfResource>text</typeOfResource>
<relatedItem type="host">
<titleInfo>
<title>Proceedings of the Fourth International Conference on Language Resources and Evaluation (LREC’04)</title>
</titleInfo>
<originInfo>
<publisher>European Language Resources Association (ELRA)</publisher>
<place>
<placeTerm type="text">Lisbon, Portugal</placeTerm>
</place>
</originInfo>
<genre authority="marcgt">conference publication</genre>
</relatedItem>
<identifier type="citekey">wolska-etal-2004-annotated</identifier>
<location>
<url>http://www.lrec-conf.org/proceedings/lrec2004/pdf/669.pdf</url>
</location>
<part>
<date>2004-05</date>
</part>
</mods>
</modsCollection>
%0 Conference Proceedings
%T An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving
%A Wolska, Magdalena
%A Vo, Bao Quoc
%A Tsovaltzi, Dimitra
%A Kruijff-Korbayová, Ivana
%A Karagjosova, Elena
%A Horacek, Helmut
%A Fiedler, Armin
%A Benzmüller, Christoph
%S Proceedings of the Fourth International Conference on Language Resources and Evaluation (LREC’04)
%D 2004
%8 May
%I European Language Resources Association (ELRA)
%C Lisbon, Portugal
%F wolska-etal-2004-annotated
%U http://www.lrec-conf.org/proceedings/lrec2004/pdf/669.pdf
Markdown (Informal)
[An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving](http://www.lrec-conf.org/proceedings/lrec2004/pdf/669.pdf) (Wolska et al., LREC 2004)
ACL
- Magdalena Wolska, Bao Quoc Vo, Dimitra Tsovaltzi, Ivana Kruijff-Korbayová, Elena Karagjosova, Helmut Horacek, Armin Fiedler, and Christoph Benzmüller. 2004. An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving. In Proceedings of the Fourth International Conference on Language Resources and Evaluation (LREC’04), Lisbon, Portugal. European Language Resources Association (ELRA).