Recomienda este artículo a tus amigos:
Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings - Lecture Notes in Computer Science 2020 edition
Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings - Lecture Notes in Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. domain theory logics; logical foundations of database theory; intelligent and multiple-agent system logics; distributed system logics; system design logics;
287 pages, 3 Illustrations, color; 415 Illustrations, black and white; X, 287 p. 418 illus., 3 illus
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 14 de diciembre de 2019 |
| ISBN13 | 9783030367541 |
| Editores | Springer Nature Switzerland AG |
| Páginas | 287 |
| Dimensiones | 150 × 220 × 10 mm · 462 g |
| Lengua | Alemán |
| Editor | Artemov, Sergei |
| Editor | Nerode, Anil |