Cramer, Marcos; Fisseni, Bernhard; Koepke, Peter; Kühlwein, Daniel; Schröder, Bernhard; Veldman, Jip:

The Naproche Project – Controlled Natural Language Proof Checking of Mathematical Texts

In: Controlled Natural Language Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers / Fuchs, Norbert E. (Hrsg.)
Berlin (u.a.): Springer (2009) (Lecture Notes in Computer Science ; 5972), S. 170-186
ISBN: 978-3-642-14417-2, 978-3-642-14418-9
Buchaufsatz / Kapitel / Fach: Germanistik
Fakultät für Geisteswissenschaften