This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, Fro Co S 2017, held in Brasilia, Bazil, in September 2017. The 17 papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: description and temporal logics, decision procedures, decidability and verification, SAT, SMT and automated theorem proving, term rewriting, and properties and combinations of logics.The paper ‘Subtropical Satisfiability’ is open access under a CC BY 4.0 license via link.springer.com.
€70.46
Beli ebook ini dan dapatkan 1 lagi GRATIS!
Bahasa Inggris ● Format EPUB ● ISBN 9783319661674 ● Editor Clare Dixon & Marcelo Finger ● Penerbit Springer International Publishing ● Diterbitkan 2017 ● Diunduh 3 kali ● Mata uang EUR ● ID 6210717 ● Perlindungan salinan Adobe DRM
Membutuhkan pembaca ebook yang mampu DRM
Ebook lainnya dari penulis yang sama / Editor
74,960 Ebooks dalam kategori ini
