[Back]


Talks and Poster Presentations (without Proceedings-Entry):
A. Ciabattoni:
"Nonclassical proofs: theory, applications, and tools";
Talk: Logical Models of Reasoning and Computation (LMRC12), Moskau, Russia (invited); 2012-02-01 - 2012-02-03.

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