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.