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 / Fuchs, Norbert E. (Hrsg.). - Workshop on Controlled Natural Language, 2009.06.08-10, Marettimo Island, Italy - Berlin: Springer, 2010 - (Lecture Notes in Computer Science ; 5972), S. 170 - 186
2010Buchaufsatz/Kapitel in Tagungsband
GermanistikFakultät für Geisteswissenschaften
Titel in Englisch:
The Naproche Project – Controlled Natural Language Proof Checking of Mathematical Texts
Autor*in:
Cramer, Marcos;Fisseni, BernhardUDE
LSF ID
49251
ORCID
0000-0003-3434-8964ORCID iD
Sonstiges
der Hochschule zugeordnete*r Autor*in
;
Koepke, Peter;Kühlwein, Daniel;Schröder, BernhardUDE
LSF ID
48942
ORCID
0000-0002-7847-1393ORCID iD
Sonstiges
der Hochschule zugeordnete*r Autor*in
;
Veldman, Jip
Scopus ID
Sprache des Textes:
Englisch