Summary goes here
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 9b6977cd-488a-46ec-9e43-fac633e0816e |
| isbn | 9783642152054 3642152058 9783642152047 364215204X |
| issn | |
| language | eng |
| physical | 1 online resource (xiv, 546 pages) :illustrations |
| publication | – publisher: Springer dateOfPublication: 2010 |
| publishDate | 2010 |
| subjects | |
| title | Computer science logic : 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 : proceedings / Anuj Dawar, Helmut Veith (eds.). |
| topic | Computer logic Logique informatique Informatique. Computer logic Computational logic Logische Programmierung Programmierlogik Theoretische Informatik Logik Brünn <2010> Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. |