Computer science – theory and applications: 11th international computer science symposium in russia, csr 2016, st. petersburg, russia, june 9-13, 2016, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319341705
Date de publication :
31 mai 2016
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the proceedings of the 11th International Computer Science Symposium in Russia, CSR 2016, held in St. Petersburg, Russia, in June 2016. The 28 full papers presented in this volume were carefully reviewed and selected from 71 submissions. proof theory and applications of logic to computer science;