Automated Deduction : CADE 30
30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings
Edición de la obra Automated Deduction : CADE 30
| Autor | Clark Barrett, Uwe Waldmann |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2025 |
| Idioma | inglés |
| Páginas | 756 |
| ISBN-13 | 9783031999833 |
| Número de Cutter | B274a |