Computer science logic
Subtitle: 17th international workshop, CSL 2003, 12th annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings
By: Matthias Baaz, Johann A. Makowsky (eds.).
Contributors: Baaz, Matthias.; Makowsky, Johann A., 1948-; European Association for Computer Science Logic. Conference; Workshop on Computer Science Logic (17th : 2003 : Vienna University of Technology); Kurt Gödel Colloquium (8th : 2003 : Vienna University of Technology)
Series: Lecture notes in computer science -- 2803.
Publisher: Springer
Published: 2003
Place of publication: New York
Language: eng
Number of pages: 590
Subjects: Computer logic -- Congresses
Genres: Congresses.