Talks and Poster Presentations (with Proceedings-Entry):
M. Baaz, C. Fermüller:
"A translation characterizing the constructive content of classical theories";
Talk: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR),
Almaty, Kazakhstan;
2003-09-22
- 2003-09-26; in: " Logic for Programming, Artificial Intelligence and Reasoning",
Springer,
LNAI 2850
(2003),
ISBN: 3-540-20101-7;
107
- 121.
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04404563
Created from the Publication Database of the Vienna University of Technology.