Pastāsti draugiem par šo preci:
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings - Lecture Notes in Computer Science Sergei Artemov 2013 edition
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings - Lecture Notes in Computer Science
Sergei Artemov
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;
428 pages, 49 black & white illustrations, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2012. gada 21. novembris |
| ISBN13 | 9783642357213 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 415 |
| Izmēri | 155 × 235 × 22 mm · 594 g |
| Valoda | Vācu |
| Redaktors | Artemov, Sergei |
| Redaktors | Nerode, Anil |