{"product_id":"frontiers-of-combining-systems-von-undefined-1","title":"Frontiers of Combining Systems","description":"\n                                \n                \u003cp\u003eThis book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. \u003c\/p\u003e\n                                  \n                \n                \u003cp\u003eThe 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. \u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783319242453\"\u003e\u003ch3\u003e10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783319242453","offer_id":40604225634397,"sku":"9783319242453","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/fde89c1f-745f-4e44-8ec0-661ca9a0e6cc.jpg?v=1773552529","url":"https:\/\/shop.autorenwelt.de\/products\/frontiers-of-combining-systems-von-undefined-1","provider":"Autorenwelt Shop","version":"1.0","type":"link"}