Automated deduction – cade 29: 29th international conference on automated deduction, rome, italy, july 1–4, 2023, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783031384981
Date de publication :
3 sept. 2023
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions.