Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, ... Computer Science and General Issues)

Conference

von: Erich Grädel · Reinhard Kahle

Springer Berlin Heidelberg · 2009

Taschenbuch

ISBN: 978-3-642-04026-9

ISBN-10: 3-642-04026-8