Carsten Lutz & Silvio Ranise 
Frontiers of Combining Systems [PDF ebook] 
10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Stöd

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
Betalningsmetoder
Köp den här e-boken och få 1 till GRATIS!
Språk Engelska ● Formatera PDF ● ISBN 9783319242460 ● Redaktör Carsten Lutz & Silvio Ranise ● Utgivare Springer International Publishing ● Publicerad 2015 ● Nedladdningsbara 3 gånger ● Valuta EUR ● ID 6303474 ● Kopieringsskydd Adobe DRM
Kräver en DRM-kapabel e-läsare

Fler e-böcker från samma författare (r) / Redaktör

74 651 E-böcker i denna kategori