Veldman, Jip; Fisseni, Bernhard; Schröder, Bernhard; Koepke, Peter:
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
Buchaufsatz/Kapitel in Sammelwerk / Fach: Germanistik
Fakultät für Geisteswissenschaften
Titel:
From proof texts to logic : discourse representation structures for proof texts in mathematics
Autor(in):
Veldman, Jip; Fisseni, Bernhard im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Schröder, Bernhard im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Koepke, Peter
Erscheinungsjahr
2009
Erschienen 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
ISBN
Signatur der UB