Talks and Poster Presentations (with Proceedings-Entry):

C. Fermüller:
"Dialogue Games for Modelling Proof Search in Nonclassical Logic";
Talk: FTP'2003, International Workshop on First-Order Theorem Proving, Valencia, Spain; 2003-06-12 - 2003-06-14; in: "FTP'2003", Universidad de Politecnica de Valencia, (2003), DISC-II/10/03; 187 - 190.

Online library catalogue of the TU Vienna:

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