The Naproche Project – Controlled Natural Language Proof Checking of Mathematical Texts
In: Controlled natural language : Workshop on Controlled Natural Language / Fuchs, Norbert E. (Eds.). - Workshop on Controlled Natural Language, 2009.06.08-10, Marettimo Island, Italy - Berlin: Springer, 2010 - (Lecture Notes in Computer Science ; 5972), pp. 170 - 186
2010book article/chapter in Proceedings
German Language and Literature StudiesFaculty of Humanities
Title in English:
The Naproche Project – Controlled Natural Language Proof Checking of Mathematical Texts
Author:
Cramer, Marcos;Fisseni, BernhardUDE
- LSF ID
- 49251
- ORCID
- 0000-0003-3434-8964
- Other
- connected with university
- LSF ID
- 48942
- ORCID
- 0000-0002-7847-1393
- Other
- connected with university
Scopus ID
Language of text:
English