ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Anmerkungen
-
In: Sprachtechnologie, mobile Kommunikation und linguistische Ressourcen. Beiträge zur GLDV-Tagung 2005 in Bonn. - Frankfurt am Main [u.a.] : Lang, 2005., S. 604-618, ISBN 3-631-53874-X, Sprache, Sprechen und Computer. Computer Studies in Language and Speech ; 8
- Klassifikation
-
Mathematik
- Schlagwort
-
Beweis
Annotation
Quantor
Texttechnologie
Automatisches Beweisverfahren
Automatisches Beweisverfahren
Computerlinguistik
Natürliche Sprache
Texttechnologie
XML
- Ereignis
-
Veröffentlichung
- (wo)
-
Mannheim
- (wer)
-
Institut für Deutsche Sprache, Bibliothek
- (wann)
-
2018
- Urheber
-
Fisseni, Bernhard
- Beteiligte Personen und Organisationen
-
Schmitz, Hans-Christian
Schröder, Bernhard
Wagner, Petra
- URN
-
urn:nbn:de:bsz:mh39-82509
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:50 MESZ
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
- Fisseni, Bernhard
- Schmitz, Hans-Christian
- Schröder, Bernhard
- Wagner, Petra
- Institut für Deutsche Sprache, Bibliothek
Entstanden
- 2018
Ähnliche Objekte (12)
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
Werte vermitteln und Bildungsprozesse unterstützen : vorurteilsbewusste Erziehung in Kindertageseinrichtungen
Wir sind verschieden und auch gleich : vorurteilsbewusste Arbeit in Kindertageseinrichtungen
Eine Sicht auf die Perspektive
Zwischen Perspektiven
Grammis' Grammatische Fachbegriffe: Ein Reisebericht
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?
Überhaupt und sowieso and überhaupt en sowieso
Von Wangels in die virtuelle weite Welt. Die Daten des Archivs der Grafen v. Platen in Forschungsdateninfrastrukturen
Überhaupt und sowieso and überhaupt en sowieso
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
Werte vermitteln und Bildungsprozesse unterstützen : vorurteilsbewusste Erziehung in Kindertageseinrichtungen
Wir sind verschieden und auch gleich : vorurteilsbewusste Arbeit in Kindertageseinrichtungen
Eine Sicht auf die Perspektive
Zwischen Perspektiven
Grammis' Grammatische Fachbegriffe: Ein Reisebericht
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?
Überhaupt und sowieso and überhaupt en sowieso
Von Wangels in die virtuelle weite Welt. Die Daten des Archivs der Grafen v. Platen in Forschungsdateninfrastrukturen
Überhaupt und sowieso and überhaupt en sowieso
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
Werte vermitteln und Bildungsprozesse unterstützen : vorurteilsbewusste Erziehung in Kindertageseinrichtungen
Wir sind verschieden und auch gleich : vorurteilsbewusste Arbeit in Kindertageseinrichtungen
Eine Sicht auf die Perspektive
Zwischen Perspektiven
Grammis' Grammatische Fachbegriffe: Ein Reisebericht
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?
Überhaupt und sowieso and überhaupt en sowieso
Von Wangels in die virtuelle weite Welt. Die Daten des Archivs der Grafen v. Platen in Forschungsdateninfrastrukturen