Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I - Lecture Notes in Computer Science -  - Libros - Springer International Publishing AG - 9783031634970 - 2 de julio de 2024
En caso de que portada y título no coincidan, el título será el correcto

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I - Lecture Notes in Computer Science 2024 edition

Precio
$ 45,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.
Añadir a tu lista de deseos de iMusic
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.

Mere med samme udgiver