- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Notes
-
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
- Classification
-
Mathematik
- Keyword
-
Beweis
Annotation
Quantor
Texttechnologie
Automatisches Beweisverfahren
Automatisches Beweisverfahren
Computerlinguistik
Natürliche Sprache
Texttechnologie
XML
- Event
-
Veröffentlichung
- (where)
-
Mannheim
- (who)
-
Institut für Deutsche Sprache, Bibliothek
- (when)
-
2018
- Creator
-
Fisseni, Bernhard
- Contributor
-
Schmitz, Hans-Christian
Schröder, Bernhard
Wagner, Petra
- URN
-
urn:nbn:de:bsz:mh39-82509
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:50 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Fisseni, Bernhard
- Schmitz, Hans-Christian
- Schröder, Bernhard
- Wagner, Petra
- Institut für Deutsche Sprache, Bibliothek
Time of origin
- 2018
Other Objects (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