Computer Science Logic - 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
- Författare
- Anuj. Dawar
- (Edited by Anuj Dawar, Helmut Veith.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg | 2010 | Tyskland, Berlin, Heidelberg | 978-3-642-15205-4 |