Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-41446
Titel: | A Proof Representation |
VerfasserIn: | Berkelhammer, Jessi |
Sprache: | Englisch |
Erscheinungsjahr: | 2004 |
Erscheinungsort: | Saarbrücken |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | We present the proof representation language to be used by the mediator between an environment for writing mathematical documents and proof assistants. This language is an updated version of the one introduced in [1]. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-414460 hdl:20.500.11880/37829 http://dx.doi.org/10.22028/D291-41446 |
Schriftenreihe: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
Band: | 2004,2 |
Datum des Eintrags: | 7-Jun-2024 |
Fakultät: | SE - Sonstige Einrichtungen |
Fachrichtung: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Professur: | SE - Sonstige |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
SEKI-Report-SR-2004-02_Berkelhammer_A-Proof-Representation.pdf | 4,1 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.