Scan barcode
548 pages • missing pub info (editions)
ISBN/UID: 9783642152047
Format: Paperback
Language: English
Publisher: Springer
Publication date: 11 August 2010
Description
The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2010, was held in Brno (Czech Republic), August 23 27, 2010. The conference started as a series of international workshops on Computer S- ence Logic, and the...
Community Reviews
Content Warnings
548 pages • missing pub info (editions)
ISBN/UID: 9783642152047
Format: Paperback
Language: English
Publisher: Springer
Publication date: 11 August 2010
Description
The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2010, was held in Brno (Czech Republic), August 23 27, 2010. The conference started as a series of international workshops on Computer S- ence Logic, and the...
Community Reviews
Content Warnings