{"product_id":"frontiers-of-combining-systems-springer-nature-switzerland-ag-9783030290061-12th-international-symposium-frocos-2019-london-uk-september-4-6-2019-proceedings-andreas-herzig","title":"Frontiers of Combining Systems","description":"\u003cp\u003eDiscover the cutting-edge research presented in \u003cstrong\u003eFrontiers of Combining Systems\u003c\/strong\u003e, edited by \u003cstrong\u003eAndreas Herzig\u003c\/strong\u003e. This comprehensive volume contains the proceedings from the 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019), held in London, UK, in September 2019. It was colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019).\u003c\/p\u003e \u003cp\u003ePublished by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e, this 365-page book delves into the latest advancements in combining systems, offering valuable insights for researchers and practitioners in the field. Whether you are an academic, a student, or a professional, this book is an essential resource for understanding the frontiers of automated reasoning and its applications.\u003c\/p\u003e \u003cp\u003eStay ahead in your field with this important contribution to the literature on automated reasoning and combining systems.\u003c\/p\u003e","brand":"Andreas Herzig","offers":[{"title":"Default Title","offer_id":52242947146070,"sku":"9783030290061","price":66.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030290061.jpg?v=1767765744","url":"https:\/\/www.englishbook.pt\/products\/frontiers-of-combining-systems-springer-nature-switzerland-ag-9783030290061-12th-international-symposium-frocos-2019-london-uk-september-4-6-2019-proceedings-andreas-herzig","provider":"Bookshop","version":"1.0","type":"link"}