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
Signatur des Buches: BFP3650
Dieser Eintrag ist freigegeben.