Conte aos seus amigos sobre este item:
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings - Lecture Notes in Computer Science 1st ed. 2016 edition
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings - Lecture Notes in Computer Science
600 pages, 101 black & white illustrations, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 12 de junho de 2016 |
| ISBN13 | 9783319402284 |
| Editoras | Springer International Publishing AG |
| Páginas | 580 |
| Dimensões | 155 × 235 × 31 mm · 8,95 kg |
| Idioma | Alemão |
| Editor | Olivetti, Nicola |
| Editor | Tiwari, Ashish |