{"product_id":"frontiers-of-combining-systems-silvio-ghilardi-9783642042218","title":"Frontiers of Combining Systems","description":"This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. The 20 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Silvio Ghilardi\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 364204221X\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783642042218\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 09\/07\/2009\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 383\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.35lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.30h x 6.10w x 0.80d","brand":"Silvio Ghilardi","offers":[{"title":"Paperback","offer_id":48486977634559,"sku":"9783642042218","price":54.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_5940450b-41d3-4c38-9fbd-521947429dc0.jpg?v=1778057529","url":"https:\/\/www.whiterainbookhouse.com\/products\/frontiers-of-combining-systems-silvio-ghilardi-9783642042218","provider":"WR Book House","version":"1.0","type":"link"}