[Back]


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:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC05936326


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