[Back]


Talks and Poster Presentations (without Proceedings-Entry):
L. Spendier:
"Automated Support for the Investigation of Paraconsistent and Other Logics";
Keynote Lecture: 4th World Congress on Universal Logic, Rio de Janeiro; 2013-04-03 - 2013-04-07.

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