{"product_id":"automated-deduction-cade-30-von-undefined","title":"Automated Deduction – CADE 30","description":"\n                                \n                \u003cp\u003eThis open access book constitutes the proceedings of the 30th International Conference on Automated Deduction, CADE 30, which took place in Stuttgart, Germany, during July 2025. \u003c\/p\u003e\n                                \n                \n                \u003cp\u003eCADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. \u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThe 33 full papers and 4 short papers included in these proceedings were carefully reviewed and selected from 87 submissions. They were organized in topical sections on SMT; rewriting; formalizations in Isabelle\/HOL; calculi; machine learning for automated deduction; model checking and quantifier elimination; saturation; equational reasoning; non-classical logics; and SAT.\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031999833\"\u003e\u003ch3\u003e30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783031999833","offer_id":58384037609797,"sku":"9783031999833","price":42.79,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/240e0914-9751-43bb-868e-1f79de9f7c29.jpg?v=1782447311","url":"https:\/\/shop.autorenwelt.de\/en\/products\/automated-deduction-cade-30-von-undefined","provider":"Autorenwelt Shop","version":"1.0","type":"link"}