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
ISBN: 978-3-8233-6511-2
Buchaufsatz / Kapitel / Fach: Germanistik
Fakultät für Geisteswissenschaften