Recomienda este artículo a tus amigos:
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings - Lecture Notes in Computer Science Bernhard Gramlich
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings - Lecture Notes in Computer Science
Bernhard Gramlich
Constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012.
580 pages, 90 black & white illustrations, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 20 de junio de 2012 |
| ISBN13 | 9783642313646 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 568 |
| Dimensiones | 155 × 235 × 30 mm · 861 g |
| Lengua | Francés |
| Editor | Gramlich, Bernhard |
| Editor | Miller, Dale |
| Editor | Sattler, Ulrike |