Bao Quoc Vo - ACL Anthology

About
Using
Contributions
GitHub

Bao Quoc Vo

Author directory

2004

An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving
Magdalena Wolska | Bao Quoc Vo | Dimitra Tsovaltzi | Ivana Kruijff-Korbayová | Elena Karagjosova | Helmut Horacek | Armin Fiedler | Christoph Benzmüller
Proceedings of the Fourth International Conference on Language Resources and Evaluation (LREC’04)

Co-authors

Christoph Benzmüller 1
Armin Fiedler 1
Helmut Horacek 1
Elena Karagjosova 1
Ivana Kruijff-Korbayová 1

Dimitra Tsovaltzi 1

Magdalena Wolska 1

Venues

LREC1

ACL materials are Copyright © 1963–2026 ACL; other materials are copyrighted by their respective copyright holders. Materials prior to 2016 here are licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 3.0 International License. Permission is granted to make copies for the purposes of teaching and research. Materials published in or after 2016 are licensed on a Creative Commons Attribution 4.0 International License.

The ACL Anthology is managed and built by the ACL Anthology team of volunteers.

Site last built on 05 September 2026 at 23:01 UTC with commit cc6f507.