Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II - Lecture Notes in Computer Science -  - Libros - Springer Nature Switzerland AG - 9783032325914 - 5 de agosto de 2026
En caso de que portada y título no coincidan, el título será el correcto

Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II - Lecture Notes in Computer Science

Precio
Mex$ 772
sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de sep. - 6 de oct.
Añadir a tu lista de deseos de iMusic

Aún no valorado

This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26–29, 2026. The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 submissions.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 5 de agosto de 2026
ISBN13 9783032325914
Editores Springer Nature Switzerland AG
Páginas 380
Dimensiones 150 × 220 × 10 mm   ·   553 g
Lengua Alemán  
Editor Biere, Armin
Editor Lutz, Carsten
Editor Negri, Sara

Más del mismo editor