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ößeFormat 
SEKI-Report-SR-2004-02_Berkelhammer_A-Proof-Representation.pdf4,1 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.