{"product_id":"automated-reasoning-13th-international-joint-conference-ijcar-2026-lisbon-portugal-july-26-29-2026-proceedings-part-i","title":"Automated Reasoning: 13th International Joint Conference, Ijcar 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I","description":"","brand":"Springer","offers":[{"title":"Default Title","offer_id":52657286807837,"sku":"9783032325884","price":56.95,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0901\/5692\/5213\/files\/9783032325884.jpg?v=1785361639","url":"https:\/\/bookdelico.com\/products\/automated-reasoning-13th-international-joint-conference-ijcar-2026-lisbon-portugal-july-26-29-2026-proceedings-part-i","provider":"Book Delico ","version":"1.0","type":"link"}