
Tell your friends about this item:
Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings - Lecture Notes in Computer Science 2009 edition
Erich Gradel
Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings - Lecture Notes in Computer Science 2009 edition
Erich Gradel
The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7-11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- ference of the EACSL.
567 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | August 28, 2009 |
ISBN13 | 9783642040269 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 567 |
Dimensions | 155 × 235 × 30 mm · 884 g |
Language | French |
Editor | Gradel, Erich |
Editor | Kahle, Reinhard |