Automated Reasoning
8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
Edición de la obra Automated Reasoning
| Autor | Nicola Olivetti, Ashish Tiwari |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jun 12, 2016 |
| Páginas | 600 |
| Formato | paperback |
| ISBN-13 | 9783319402284 |
| ISBN-10 | 3319402285 |
| Número de Cutter | O48a |