The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Controlled Natural Language. Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers. - Berlin [u.a.] : Springer, 2010., S. 170-186, ISBN 978-3-642-14418-9, Lecture Notes in Computer Science ; 5972
- Erschienen in
-
Lecture Notes in Computer Science ; 5972
- Schlagwort
-
Computerlinguistik
Natürliche Sprache
Automatisches Beweisverfahren
Texttechnologie
Formale Semantik
- Ereignis
-
Veröffentlichung
- (wo)
-
Mannheim
- (wer)
-
Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
- (wann)
-
2018
- Urheber
-
Cramer, Marcos
Fisseni, Bernhard
Koepke, Peter
Kühlwein, Daniel
Schröder, Bernhard
Veldman, Jip
- Beteiligte Personen und Organisationen
- DOI
-
10.1007/978-3-642-14418-9_11
- URN
-
urn:nbn:de:bsz:mh39-81935
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:55 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Cramer, Marcos
- Fisseni, Bernhard
- Koepke, Peter
- Kühlwein, Daniel
- Schröder, Bernhard
- Veldman, Jip
- Fuchs, Norbert E.
- Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
Entstanden
- 2018
Ähnliche Objekte (12)
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
Eine Sicht auf die Perspektive
Zwischen Perspektiven
Grammis' Grammatische Fachbegriffe: Ein Reisebericht
Überhaupt und sowieso and überhaupt en sowieso
Something Empirical about Focus
Computer sind dumm - und daher äußerst nützlich! Eine kurze Einführung in die komplexe Welt der Computerlinguistik
Which Dimensions of Narratives are Relevant for Human Judgments of Story Equivalence?
Computer sind dumm - und daher äußerst nützlich! Eine kurze Einführung in die komplexe Welt der Computerlinguistik
Grammis' Grammatische Fachbegriffe: Ein Reisebericht
Von Wangels in die virtuelle weite Welt. Die Daten des Archivs der Grafen v. Platen in Forschungsdateninfrastrukturen
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
Eine Sicht auf die Perspektive
Zwischen Perspektiven
Grammis' Grammatische Fachbegriffe: Ein Reisebericht
Überhaupt und sowieso and überhaupt en sowieso
Something Empirical about Focus
Computer sind dumm - und daher äußerst nützlich! Eine kurze Einführung in die komplexe Welt der Computerlinguistik
Which Dimensions of Narratives are Relevant for Human Judgments of Story Equivalence?
Computer sind dumm - und daher äußerst nützlich! Eine kurze Einführung in die komplexe Welt der Computerlinguistik
Grammis' Grammatische Fachbegriffe: Ein Reisebericht
Von Wangels in die virtuelle weite Welt. Die Daten des Archivs der Grafen v. Platen in Forschungsdateninfrastrukturen
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
Eine Sicht auf die Perspektive
Zwischen Perspektiven
Grammis' Grammatische Fachbegriffe: Ein Reisebericht
Überhaupt und sowieso and überhaupt en sowieso
Something Empirical about Focus
Computer sind dumm - und daher äußerst nützlich! Eine kurze Einführung in die komplexe Welt der Computerlinguistik
Which Dimensions of Narratives are Relevant for Human Judgments of Story Equivalence?
Computer sind dumm - und daher äußerst nützlich! Eine kurze Einführung in die komplexe Welt der Computerlinguistik
Grammis' Grammatische Fachbegriffe: Ein Reisebericht