This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, Fro Co S 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decision procedures for verification; rewriting and constraint solving; transformations between symbolic systems; combination methods; and reasoning in large theories. The book also contains one invited talk in full-paper length.
€57.91
Beli ebook ini dan dapatkan 1 lagi PERCUMA!
Bahasa Inggeris ● Format PDF ● ISBN 9783319242460 ● Penyunting Carsten Lutz & Silvio Ranise ● Penerbit Springer International Publishing ● Diterbitkan 2015 ● Muat turun 3 kali ● Mata wang EUR ● ID 6303474 ● Salin perlindungan Adobe DRM
Memerlukan pembaca ebook yang mampu DRM
Lebih banyak ebook daripada pengarang yang sama / Penyunting
74,829 Ebooks dalam kategori ini
