Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWYG Editor
User Interfaces for Theorem Provers (UITP) : 9th April 2005. Edinburgh, Scotland. 2005 24 S.
Erscheinungsjahr: 2005
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
| Geprüft | Bibliothek |
Inhaltszusammenfassung
PDF-Datei (Preliminary Version): http://www.informatik.uni-bremen.de/~autexier/pub/uitp05-entcs.pdf
Autoren
Autexier, Serge (Autor)
Benzmüller, Christoph (Autor)
Lesourd, Henri (Autor)
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Mathematik
