Title |
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise / Bernhard Fisseni ; Herausgeber: Bernhard Fisseni, Hans-Christian Schmitz, Bernhard Schröder, Petra Wagner |
|---|---|
Involved |
Bernhard Fisseni (Verfasser) |
Published |
Mannheim: Institut für Deutsche Sprache, Bibliothek |
Extent |
Online-Ressource |
Language |
|
Country |
|
Topic |
|
Subject |
Beweis |
DDC notation |
|
Persistent identifier |
|
Further information |
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 |
Record ID |
1175949523 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: