Recomienda este artículo a tus amigos:
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I - Lecture Notes in Computer Science 2024 edition
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I - Lecture Notes in Computer Science
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 2 de julio de 2024 |
| ISBN13 | 9783031634970 |
| Editores | Springer International Publishing AG |
| Páginas | 482 |
| Dimensiones | 150 × 220 × 10 mm · 750 g |
| Lengua | Alemán |
| Editor | Benzmuller, Christoph |
| Editor | Heule, Marijn J.H. |
| Editor | Schmidt, Renate A. |