Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings - Lecture Notes in Computer Science - - Libros - Springer International Publishing AG - 9783031384981 - 3 de septiembre de 2023
En caso de que portada y título no coincidan, el título será el correcto

Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings - Lecture Notes in Computer Science 1st ed. 2023 edition

Precio
$ 45,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions.

592 pages, 32 Illustrations, color; 53 Illustrations, black and white; XXV, 592 p. 85 illus., 32 ill

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 3 de septiembre de 2023
ISBN13 9783031384981
Editores Springer International Publishing AG
Páginas 592
Dimensiones 150 × 220 × 10 mm   ·   861 g
Lengua Alemán  
Editor Pientka, Brigitte
Editor Tinelli, Cesare

Mere med samme udgiver