{"product_id":"uwe-waldmann-automated-deduction-cade-30-30th-international-conference-on-automated-deduction-stuttgart-germany-july-28-31-2025-proceedings-lecture-notes-in-artificial-intelligence-band-15943-9783031999833","title":"Automated Deduction – CADE 30: 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings (Lecture Notes in Artificial Intelligence, Band 15943)","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53830044975446,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783031999833_1.jpg?v=1781828875","url":"https:\/\/www.momoxbooks.com\/products\/uwe-waldmann-automated-deduction-cade-30-30th-international-conference-on-automated-deduction-stuttgart-germany-july-28-31-2025-proceedings-lecture-notes-in-artificial-intelligence-band-15943-9783031999833","provider":"momoxbooks","version":"1.0","type":"link"}