{"product_id":"automated-reasoning-von-undefined-4","title":"Automated Reasoning","description":"\n                                \n                \u003cp\u003e\n                                        \n                    \u003cstrong\u003eInfotext (nur auf Basis des Vorgängers): \u003c\/strong\u003e\n                                    \n                \u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThis two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThe 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThe papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThis book is open access.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003e \u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031635007\"\u003e\u003ch3\u003e12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783031635007","offer_id":49692271935813,"sku":"9783031635007","price":79.17,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/5900ec5b-2856-4f72-963c-998d4ea854f3.jpg?v=1773551859","url":"https:\/\/shop.autorenwelt.de\/products\/automated-reasoning-von-undefined-4","provider":"Autorenwelt Shop","version":"1.0","type":"link"}