Computer science logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings

Author(s)

• Workshop on Computer Science Logic
• Grädel, Erich
• Kahle, Reinhard
• European Association for Computer Science Logic

Bibliographic Information

Computer science logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings

Erich Grädel, Reinhard Kahle (eds.)

（Lecture notes in computer science, 5771）

Springer, c2009

• : pbk

Note

International conference proceedings

Includes bibliographical references and index

Details

• NCID: BA91663842
• ISBN:
  • 9783642040269
• LCCN: 2009933208
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: xi, 565 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA00009279