Automated deduction – cade 26: 26th international conference on automated deduction, gothenburg, sweden, august 6–11, 2017, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319630458
Date de publication :
11 juil. 2017
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions.