Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings /

Bibliographic Details
Corporate Authors:	Workshop on Computer Science Logic Vienna University of Technology, European Association for Computer Science Logic. Conference, Kurt Gödel Colloquium
Other Authors:	Baaz, Matthias, Makowsky, Johann A., 1948-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [2003]
Series:	Lecture notes in computer science ; 2803.
Subjects:	Computer logic > Congresses.

Remote Storage