{"product_id":"kowalski-r-5th-conference-on-automated-deduction-les-arcs-france-july-8-11-1980-lecture-notes-in-computer-science-87-band-87-9783540100096","title":"5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 (Lecture Notes in Computer Science, 87, Band 87)","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53727576162646,"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_9783540100096_1.jpg?v=1781776077","url":"https:\/\/www.momoxbooks.com\/products\/kowalski-r-5th-conference-on-automated-deduction-les-arcs-france-july-8-11-1980-lecture-notes-in-computer-science-87-band-87-9783540100096","provider":"momoxbooks","version":"1.0","type":"link"}