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-8964
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
- LSF ID
- 48942
- ORCID
- 0000-0002-7847-1393
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
Scopus ID
Sprache des Textes:
Englisch