| Title | 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 |
|---|---|
| Author | Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d’Orso (auth.), Matthias Baaz, Johann A. Makowsky (eds.) |
| Year | 2003 |
| Edition | 1 |
| Volume | |
| Series | Lecture Notes in Computer Science 2803 |
| Publisher | Springer-Verlag Berlin Heidelberg |
| City | Berlin; New York |
| Language | English |
Size: 6.16MB | Pages: 596 |
LLC: N/A | DDC: 005.1015113
