Computer Science Logic: 23rd Inteational Workshop,

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

Hardcover: 567 pages

Publisher: Springer (August 28, 2009)

Language: English

ISBN-10: 3642040268