{"product_id":"automated-deduction-a-basis-for-applications-volume-i-foundations-calculi-and-me-book-wolfgang-bibel-9780792351290","title":"Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications","description":"rather the books present  the concepts and methods now available in automated deduction in a  form which can be easily accessed by scientists working in  applications outside of the field of deduction.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52407378575633,"sku":null,"price":0.0,"currency_code":"USD","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52407379394833,"sku":"NLS9780792351290","price":257.39,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780792351290.jpg?v=1758772076","url":"https:\/\/www.worldofbooks.com\/products\/automated-deduction-a-basis-for-applications-volume-i-foundations-calculi-and-me-book-wolfgang-bibel-9780792351290","provider":"World of Books ","version":"1.0","type":"link"}