Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 10 de diciembre de 2015 |
| ISBN13 | 9783319276823 |
| Editores | Springer International Publishing AG |
| Páginas | 407 |
| Dimensiones | 155 × 235 × 22 mm · 6,32 kg |
| Lengua | Alemán |
| Editor | Artemov, Sergei |
| Editor | Nerode, Anil |