Talks and Poster Presentations (with Proceedings-Entry):

C. Fermüller:
"Analytic Systems and Dialogue Games";
Talk: TABLEAUX 2005, 14th Intl Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Koblenz, Germany (invited); 2005-09-14 - 2005-09-17; in: "TABLEAUX 2005, Position Papers and Tutorial Descriptions", B Beckert (ed.); Fachberichte Informatik, Universität Koblenz-Landau (2005), ISSN: 1860-4471; 43 - 52.

Online library catalogue of the TU Vienna:

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