Recomienda este artículo a tus amigos:
Computer Science – Theory and Applications: 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings - Lecture Notes in Computer Science 1st ed. 2016 edition
Computer Science – Theory and Applications: 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings - Lecture Notes in Computer Science
This book constitutes the proceedings of the 11th International Computer Science Symposium in Russia, CSR 2016, held in St. Petersburg, Russia, in June 2016. The 28 full papers presented in this volume were carefully reviewed and selected from 71 submissions. proof theory and applications of logic to computer science;
446 pages, 49 black & white illustrations, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 31 de mayo de 2016 |
| ISBN13 | 9783319341705 |
| Editores | Springer International Publishing AG |
| Páginas | 425 |
| Dimensiones | 155 × 235 × 23 mm · 682 g |
| Lengua | Alemán |
| Editor | Kulikov, Alexander S. |
| Editor | Woeginger, Gerhard J. |