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:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04404562
Created from the Publication Database of the Vienna University of Technology.