Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
A. Leitsch, T. Libal, M. Riener, D. Weller, B. Woltzenlogel-Paleo, T. Dunchev:
"Prooftool: a GUI for the GAPT Framework";
Vortrag: 10th International Workshop On User Interfaces for Theorem Provers,
Bremen;
11.07.2013; in: "Proceedings 10th International Workshop on User Interfaces for Thorem Provers,",
C. Kaliszyk et al. (Hrg.);
(2013),
ISSN: 2075-2180;
S. 1
- 14.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.4204/EPTCS.118
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_223249.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.