{"product_id":"automated-reasoning-von-undefined-1","title":"Automated Reasoning","description":"\n                                \n                \u003cp\u003eThis volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022.  \u003c\/p\u003e\n                                \n                \n                \u003cp\u003e\n                                        \n                    \u003cbr\u003e\n                                    \n                \u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThe 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems.\u003c\/p\u003e\n                                \n                \u003cp\u003eThis is an open access book.\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031107689\"\u003e\u003ch3\u003e11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783031107689","offer_id":40330295378013,"sku":"9783031107689","price":42.79,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/3f56a156-4e6d-4f42-9e06-e831c189ca9d.jpg?v=1773551883","url":"https:\/\/shop.autorenwelt.de\/en\/products\/automated-reasoning-von-undefined-1","provider":"Autorenwelt Shop","version":"1.0","type":"link"}