Pastāsti draugiem par šo preci:
Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings - Lecture Notes in Computer Science 1st ed. 2016 edition
Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings - Lecture Notes in Computer Science
This bookconstitutes the refereed proceedings of the International Symposium on LogicalFoundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA inJanuary 2016. domain theory logics; logicalfoundations of database theory; intelligent and multiple-agent system logics; distributed system logics; system design logics;
407 pages, 33 colour illustrations, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2015. gada 10. decembris |
| ISBN13 | 9783319276823 |
| Izdevēji | Springer International Publishing AG |
| Lapas | 407 |
| Izmēri | 156 × 233 × 25 mm · 626 g |
| Valoda | Vācu |
| Redaktors | Artemov, Sergei |
| Redaktors | Nerode, Anil |