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