Clare Dixon & Marcelo Finger 
Frontiers of Combining Systems [EPUB ebook] 
11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 27-29, 2017, Proceedings

Stöd

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
Betalningsmetoder
Köp den här e-boken och få 1 till GRATIS!
Språk Engelska ● Formatera EPUB ● ISBN 9783319661674 ● Redaktör Clare Dixon & Marcelo Finger ● Utgivare Springer International Publishing ● Publicerad 2017 ● Nedladdningsbara 3 gånger ● Valuta EUR ● ID 6210717 ● Kopieringsskydd Adobe DRM
Kräver en DRM-kapabel e-läsare

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

74 960 E-böcker i denna kategori