Automated deduction – cade 27: 27th international conference on automated deduction, natal, brazil, august 27–30, 2019, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030294359
Date de publication :
21 août 2019
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions.