Automated Deduction – CADE 27
27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Edición de la obra Automated Deduction – CADE 27
| Autor | Pascal Fontaine |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Aug 21, 2019 |
| Páginas | 605 |
| Formato | paperback |
| ISBN-13 | 9783030294359 |
| ISBN-10 | 3030294358 |
| Número de Cutter | F678a |