{"product_id":"frontiers-of-combining-systems-von-undefined-3","title":"Frontiers of Combining Systems","description":"\n                                \n                \u003cp\u003eThis open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29–October 1, 2025.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThe 21 full papers included in the proceedings were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: Description logics; beyond classical logic; satisfiability modulo theories; term rewrite systems; theorem proving; specific reasoning procedures; and proof checking.\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783032041661\"\u003e\u003ch3\u003e15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783032041661","offer_id":57385305178437,"sku":"9783032041661","price":42.79,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/3ec92ea8-8e51-41f3-8c01-83daa4bac425.jpg?v=1773552578","url":"https:\/\/shop.autorenwelt.de\/en\/products\/frontiers-of-combining-systems-von-undefined-3","provider":"Autorenwelt Shop","version":"1.0","type":"link"}