Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
Edición de la obra Automated Reasoning
| Autor | Christoph Benzmüller, Marijn J. H. Heule, Renate A. Schmidt |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2024 |
| Idioma | inglés |
| ISBN-13 | 9783031635007 |
| Número de Cutter | B479a |