Computer science logic
Subtitle: 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings
By: Erich Grädel, Reinhard Kahle (eds.).
Contributors: Grädel, Erich, 1958-; Kahle, Reinhard, 1967-; European Association for Computer Science Logic
Series: Lecture notes in computer science -- 5771; LNCS sublibrary: SL 1-theoretical computer science and general issues; Lecture notes in computer science -- 5771.; LNCS sublibrary
Publisher: Springer
Published: 2009
Place of publication: Berlin; New York
Language: eng
Number of pages: 565
ISBN-13: 9783642040269
Subjects: Computer logic; Kongress; Congresses; Computational logic; Programmierlogik; Theoretische Informatik; Logische Programmierung; Logik
Notes: Includes bibliographical references and index.

Also issued online.