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
Buchaufsatz/Kapitel in Sammelwerk / Fach: Germanistik
Fakultät für Geisteswissenschaften
Titel:
The Naproche Project – Controlled Natural Language Proof Checking of Mathematical Texts
Autor(in):
Cramer, Marcos; Fisseni, Bernhard im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Koepke, Peter; Kühlwein, Daniel; Schröder, Bernhard im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Veldman, Jip
Erscheinungsjahr
2009
Erschienen 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
ISBN