Talks and Poster Presentations (with Proceedings-Entry):
A. Leitsch, T. Libal, M. Riener, D. Weller, B. Woltzenlogel-Paleo, T. Dunchev:
"Prooftool: a GUI for the GAPT Framework";
Talk: 10th International Workshop On User Interfaces for Theorem Provers,
Bremen;
2013-07-11; in: "Proceedings 10th International Workshop on User Interfaces for Thorem Provers,",
C. Kaliszyk et al. (ed.);
(2013),
ISSN: 2075-2180;
1
- 14.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.4204/EPTCS.118
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_223249.pdf
Created from the Publication Database of the Vienna University of Technology.