Recomienda este artículo a tus amigos:
Theory and Applications of Satisfiability Testing - Sat 2014: 17th International Conference, Held As Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14-17, 2014, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Sc Carsten Sinz
Theory and Applications of Satisfiability Testing - Sat 2014: 17th International Conference, Held As Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14-17, 2014, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Sc
Carsten Sinz
474 pages, 77 black & white illustrations, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 4 de agosto de 2014 |
| ISBN13 | 9783319092836 |
| Editores | Springer International Publishing AG |
| Páginas | 474 |
| Dimensiones | 155 × 235 × 24 mm · 662 g |
| Lengua | Alemán |
| Editor | Egly, Uwe |
| Editor | Sinz, Carsten |