Recomienda este artículo a tus amigos:
Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings - Lecture Notes in Computer Science 1st ed. 2015 edition
Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings - Lecture Notes in Computer Science
436 pages, 94 colour illustrations, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 4 de noviembre de 2015 |
| ISBN13 | 9783319243177 |
| Editores | Springer International Publishing AG |
| Páginas | 436 |
| Dimensiones | 155 × 235 × 24 mm · 6,85 kg |
| Lengua | Francés |
| Editor | Heule, Marijn |
| Editor | Weaver, Sean |