Automated reasoning: 13th international joint conference, ijcar 2026, lisbon, portugal, july 26–29, 2026, proceedings, part ii
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783032325914
Date de publication :
5 août 2026
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.