{"product_id":"9783319661667","title":"Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 27-29, 2017, Proceedings by Clare Dixon","description":"This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Bras?lia, 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.?\u003cbr\u003eBinding: Paperback \/ softback","brand":"Gardners","offers":[{"title":"Default Title","offer_id":56309725036917,"sku":"9783319661667","price":54.99,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0612\/7193\/3106\/files\/9783319661667.jpg?v=1762813060","url":"https:\/\/backstory.london\/products\/9783319661667","provider":"Backstory","version":"1.0","type":"link"}