Automated deduction – cade 28: 28th international conference on automated deduction, virtual event, july 12–15, 2021, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030798758
Date de publication :
8 juil. 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions.