{"product_id":"dyckhoff-roy-automated-reasoning-with-analytic-tableaux-and-related-methods-international-conference-tableaux-2000-st-andrews-scotland-uk-july-3-7-2000-notes-in-computer-science-1847-band-1847-9783540676973","title":"Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 ... Notes in Computer Science, 1847, Band 1847)","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53722906820950,"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_9783540676973_1.jpg?v=1781772737","url":"https:\/\/www.momoxbooks.com\/products\/dyckhoff-roy-automated-reasoning-with-analytic-tableaux-and-related-methods-international-conference-tableaux-2000-st-andrews-scotland-uk-july-3-7-2000-notes-in-computer-science-1847-band-1847-9783540676973","provider":"momoxbooks","version":"1.0","type":"link"}