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 London, Limited |
| Fecha de publicación | 2016 |
| Idioma | inglés |
| Páginas | 580 |
| ISBN-13 | 9783319402291 |
| Número de Cutter | O48a |