Computer Science Logic : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 ; proceedings
Grädel, Erich (Editor); Kahle, Reinhard (Editor)
Berlin [u.a.] / Springer (2009) [Tagungsband]
Seite(n): XI, 565 S.
Identifikationsnummern
- ISBN: 978-3-642-04026-9
- ISBN: 3-642-04026-8
- ISBN: 978-3-642-04027-6
- DOI: 10.1007/978-3-642-04027-6
- REPORT NUMBER: RWTH-CONV-093438