Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings - Lecture Notes in Computer Science - Jasmin Blanchette - Libros - Springer International Publishing AG - 9783031107689 - 17 de julio de 2022
En caso de que portada y título no coincidan, el título será el correcto

Jasmin Blanchette
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings - Lecture Notes in Computer Science 1st ed. 2022 edition

Precio
$ 45,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 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 volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions.

756 pages, 42 Illustrations, color; 68 Illustrations, black and white; XV, 756 p. 110 illus., 42 ill

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 17 de julio de 2022
ISBN13 9783031107689
Editores Springer International Publishing AG
Páginas 756
Dimensiones 150 × 220 × 10 mm   ·   1,16 kg
Lengua Inglés  
Editor Blanchette, Jasmin
Editor Kovacs, Laura
Editor Pattinson, Dirk

Mere med samme udgiver

Ver todo de Jasmin Blanchette ( Ej. Paperback Book )