From proof texts to logic : discourse representation structures for proof texts in mathematics
In: Von der Form zur Bedeutung : Texte automatisch verarbeiten ; proceedings of the Biennial GSCL Conference 2009 / Chiarcos, Christian; de Castilho, Richard Eckart; Stede, Manfred (Hrsg.). - Tübingen: Narr, 2009, S. 137 - 145
2009Buchaufsatz/Kapitel in Sammelwerk
GermanistikFakultät für Geisteswissenschaften
Titel:
From proof texts to logic : discourse representation structures for proof texts in mathematics
Autor*in:
Veldman, Jip;Fisseni, BernhardUDE
- LSF ID
- 49251
- ORCID
- 0000-0003-3434-8964
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
- LSF ID
- 48942
- ORCID
- 0000-0002-7847-1393
- Sonstiges
- der Hochschule zugeordnete*r Autor*in