Automated Deduction - CADE 28
28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Edición de la obra Automated Deduction - CADE 28
| Autor | André Platzer, Geoff Sutcliffe |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2021 |
| Idioma | inglés |
| Páginas | 650 |
| ISBN-13 | 9783030798758 |
| Número de Cutter | P719a |