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

Saved in:
Corporate Authors: European Association for Computer Science Logic. Conference, Kurt Gödel Colloquium
Other Authors: Baaz, Matthias., Makowsky, Johann A., 1948-
Format: Book
Language:English
Published: Berlin ; Springer, 2003.
Series:Lecture notes in computer science (Springer). ; 2803
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items