Automated Deduction – CADE 26
26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
Edición de la obra Automated Deduction – CADE 26
| Autor | Leonardo de Moura |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Aug 15, 2017 |
| Páginas | 582 |
| Formato | paperback |
| ISBN-13 | 9783319630458 |
| ISBN-10 | 3319630458 |
| Número de Cutter | M929a |