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

Includes bibliographical references and index.