Automated deduction - cade-25: 25th international conference on automated deduction, berlin, germany, august 1-7, 2015, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319214009
Date de publication :
30 juil. 2015
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions.