1 |
An annotated corpus of tutorial dialogs on mathematical theorem proving
|
|
|
|
In: 4th International Conference on Language Resources and Evaluation (LREC 2004), Lisbon, Portugal, 26-28 May 2004 (2004)
|
|
BASE
|
|
Show details
|
|
2 |
Language phenomena in tutorial dialogs on mathematical proofs
|
|
|
|
In: Proceedings of the 7th Workshop on the Semantics and Pragmatics of Dialogue (DiaBruck), Saarbruecken, Germany, 04-06 September 2003 (2003)
|
|
BASE
|
|
Show details
|
|
|
|