{"product_id":"nipkow-tobias-automated-reasoning-first-international-joint-conference-ijcar-2001-siena-italy-june-18-23-2001-proceedings-lecture-notes-in-computer-science-2083-band-2083-9783540422549","title":"Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science, 2083, Band 2083)","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53697870299478,"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_9783540422549_1_b2ecc021-18d7-45db-b23f-cdc4b3471702.jpg?v=1781754787","url":"https:\/\/www.momoxbooks.com\/products\/nipkow-tobias-automated-reasoning-first-international-joint-conference-ijcar-2001-siena-italy-june-18-23-2001-proceedings-lecture-notes-in-computer-science-2083-band-2083-9783540422549","provider":"momoxbooks","version":"1.0","type":"link"}