Pastāsti draugiem par šo preci:
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.
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2026. gada 5. augusts |
| ISBN13 | 9783032325914 |
| Izdevēji | Springer Nature Switzerland AG |
| Lapas | 380 |
| Izmēri | 155 × 231 × 20 mm · 588 g |
| Valoda | Vācu |
| Redaktors | Biere, Armin |
| Redaktors | Lutz, Carsten |
| Redaktors | Negri, Sara |
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim