{"product_id":"automated-deduction-a-basis-for-applications-volume-i-foundations-calculi-and-methods-volume-ii-systems-and-implementation-techniques-volume-iii-applications-9780792351306","title":"Automated Deduction  A Basis for Applications Volume I Foundations  Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications","description":"\u003cp\u003ea huge range and FREE tracked UK delivery on ALL orders.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53133780746583,"sku":"9780792351306","price":170.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/automated-deduction-a-basis-for-applications-volume-i-foundations-calculi-and-methods-volume-ii-systems-and-implementation-techniques-volume-iii-applications-9780792351306","provider":"Book Curl","version":"1.0","type":"link"}