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 (Eds.). - Tübingen: Narr, 2009, pp. 137 - 145
2009book article/chapter in collection
German Language and Literature StudiesFaculty of Humanities
Title:
From proof texts to logic : discourse representation structures for proof texts in mathematics
Author:
Veldman, Jip;Fisseni, BernhardUDE
LSF ID
49251
ORCID
0000-0003-3434-8964ORCID iD
Other
connected with university
;Schröder, BernhardUDE
LSF ID
48942
ORCID
0000-0002-7847-1393ORCID iD
Other
connected with university
;Koepke, Peter
Appears in
Von der Form zur Bedeutung : Texte automatisch verarbeiten ; proceedings of the Biennial GSCL Conference 2009
Editor:
Chiarcos, Christian;de Castilho, Richard Eckart;Stede, Manfred
Place of publication:
Tübingen
Publisher:
Narr
Year of publication:
2009
in:
pp. 137 - 145
ISBN
978-3-8233-6511-2
Library shelfmark:
BFP3650