LΩUI : A Distributed Graphical User Interface for the Interactive Proof System Ωmega
Proceedings of the International Workshop "User Interfaces for Theorem Provers 1998 (UITP'98). Saarbrücken. 1998 S. 130 - 138
Erscheinungsjahr: 1998
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
| Geprüft | Bibliothek |
Inhaltszusammenfassung
PDF-Datei: http://christoph-benzmueller.de/papers/W1.pdf
Autoren
Siekmann, Jörg (Autor)
Hess, Stephan (Autor)
Benzmüller, Christoph (Autor)
Cheikhrouhou, Lassaad (Autor)
Fehrer, Detlef (Autor)
Horacek, Helmut (Autor)
Kohlhase, Michael (Autor)
Konrad, Karsten (Autor)
Meier, Andreas (Autor)
Melis, Erica (Autor)
Sorge, Volker (Autor)
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Mathematik
