Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783642357213
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. logical foundations of database theory; intelligent and multiple agent system logics; distributed system logics;
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2013 ed. |
| Udgivelsesdato | 21-11-2012 |
| Første udgivelsesår | 2012 |
| Serie | Theoretical Computer Science and General Issues |
| Illustrationer | 49 Illustrations, black and white; X, 415 p. 49 illus. |
| Fagredaktør | Sergei Artemov, Anil Nerode |
| Originalsprog | Germany |
| Sideantal | 415 |
| Indbinding | Paperback / softback |
| Forlag | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Sideoplysninger | 415 pages, 49 Illustrations, black and white; X, 415 p. 49 illus. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783642357213 |