Computer science logic
Subtitle: 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
By: Matthias Baaz, Johann A. Makowsky (eds.).
Contributors: Baaz, Matthias.; Makowsky, Johann A., 1948-; European Association for Computer Science Logic. Conference; Kurt Gödel Colloquium (8th : 2003 : Vienna University of Technology)
Series: Lecture notes in computer science -- 2803
Publisher: Springer
Published: 2003
Place of publication: Berlin; New York
Language: eng
Number of pages: 590
Subjects: Computer logic -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references and index.