{"product_id":"murray-neil-v-automated-reasoning-with-analytic-tableaux-and-related-methods-international-conference-tableaux-99-saratoga-springs-ny-usa-june-7-11-1999-proceedings-9783662162279","title":"Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53699136192854,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/murray-neil-v-automated-reasoning-with-analytic-tableaux-and-related-methods-international-conference-tableaux-99-saratoga-springs-ny-usa-june-7-11-1999-proceedings-9783662162279","provider":"momoxbooks","version":"1.0","type":"link"}