[Back]


Talks and Poster Presentations (without Proceedings-Entry):

A. Leitsch:
"Mathematical Proof Analysis";
Keynote Lecture: VSL 2014, Wien; 2014-07-12 - 2014-07-26.


Created from the Publication Database of the Vienna University of Technology.