![book 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](/covers/files_170/144000/2fa3f82fa2644f6953e49ac7f8dfe081-d.jpg)
- Author: Parosh Aziz Abdulla Ahmed Bouajjani Julien d’Orso (auth.) Matthias Baaz Johann A. Makowsky (eds.)
- Language: English
- Year: 2003
![book 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](/covers/files_170/60000/600b58be37832fa41ebe4c6b8b4befb0-d.jpg)
- Author: Parosh Aziz Abdulla Ahmed Bouajjani Julien d’Orso (auth.) Matthias Baaz Johann A. Makowsky (eds.)
- Language: English
- Year: 2003