{"product_id":"automated-reasoning-with-analytic-tableaux-and-related-methods-von-undefined-3","title":"Automated Reasoning with Analytic Tableaux and Related Methods","description":"\n                                \n                \u003cp\u003eThis open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during September 27–29, 2025.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThe 25 full papers included in this book were carefully reviewed and selected from 47 sbumissions. They were organized in topical sections as follows: Classical and multi-valued logic, theorem proving; modal and tense logic; and intuitionistic and substructural logic.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003e \u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783032060846\"\u003e\u003ch3\u003e34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783032060846","offer_id":55401870721349,"sku":"9783032060846","price":42.79,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/cd662be4-8987-4082-ba05-6de8d72c9a01.jpg?v=1773552011","url":"https:\/\/shop.autorenwelt.de\/products\/automated-reasoning-with-analytic-tableaux-and-related-methods-von-undefined-3","provider":"Autorenwelt Shop","version":"1.0","type":"link"}