{"product_id":"9783031999833","title":"Automated Deduction – CADE 30: 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings","description":"\u003ch1\u003eAutomated Deduction – CADE 30: 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings\u003c\/h1\u003e \u003ch2\u003eBarrett, Clark; Waldmann, Uwe\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\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\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\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 \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2025-07-30\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003e ISBN-10: 9783031999833\u003c\/p\u003e \u003cp\u003eISBN-13: 9783031999833\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-031-99984-0\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 756\u003c\/p\u003e ","brand":"Springer","offers":[{"title":"Default Title","offer_id":44316803268748,"sku":"9783031999833","price":45.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783031999833_dc2de357-6da8-44e9-8da4-eb77e926b517.jpg?v=1755095927","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783031999833","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}