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