[Back]


Talks and Poster Presentations (without Proceedings-Entry):

A. Ciabattoni:
"Proof Search and Co-NP Completeness for Many-Valued Logics";
Talk: Konferenz zu Coherence & Truth-In memoriam Franco Montagna, Pontignano (invited); 2015-12-16 - 2015-12-18.


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