Automated Reasoning
11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Edición de la obra Automated Reasoning
| Autor | Jasmin Blanchette, Laura Kovács, Dirk Pattinson |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2022 |
| Idioma | inglés |
| ISBN-13 | 9783031107689 |
| Número de Cutter | B641a |