Deutsch
Login
Open Access
Home
Search
Metasearch
Browse
Publish
FAQ
Volltext-Downloads (blau) und Frontdoor-Views (grau)
Schließen
Sprache, Sprechen und Computer. Computer Studies in Language and Speech
Refine
Author
Fisseni, Bernhard
(1)
Year of publication
2005
(1)
Document Type
Conference Proceeding
(1)
Language
German
(1)
Has Fulltext
yes
(1)
Is part of the Bibliography
no
(1)
Keywords
Texttechnologie (1)
(remove)
Publicationstate
Zweitveröffentlichung
(1)
Reviewstate
(Verlags)-Lektorat
(1)
Publisher
Lang
(1)
1
search hit
1
to
1
Export
BibTeX
CSV
RIS
10
10
20
50
100
8
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
(2005)
Fisseni, Bernhard
Mathematische Texte sind natürlichsprachlich (ggf. mit formelsprachliche Anteilen), nicht formalsprachlich. ProofML ist ein Dateiformat, das erlaubt, sie so zu annotieren, daß der natürlichsprachlichen eine logische Struktur zugeordnet wird.
1
to
1