Recomienda este artículo a tus amigos:
Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II - Lecture Notes in Computer Science
Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II - Lecture Notes in Computer Science
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 |