Talks and Poster Presentations (with Proceedings-Entry):
C. Dunchev, A. Leitsch, T. Libal, M. Riener, M. Rukhaia, D. Weller, B. Woltzenlogel-Paleo:
"System feature description: importing refutations into the GAPT framework";
Talk: Proof Exchange for Theorem Proving, Second International Workshop,
Manchester, UK;
2012-06-30; in: "Proceeding of Proof Exchange for Theorem Proving | Second International Workshop, PxTP 2012",
D. Pichardie, T. Weber (ed.);
(2012),
ISSN: 1613-0073;
51
- 57.
Created from the Publication Database of the Vienna University of Technology.