{"product_id":"automated-reasoning","title":"Automated Reasoning","description":"\u003cp\u003e\u003cstrong\u003eInfotext (nur auf Basis des Vorgängers): \u003c\/strong\u003e\u003c\/p\u003e\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\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\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\u003cp\u003eThis book is open access.\u003c\/p\u003e\u003cp\u003e \u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":57492347060597,"sku":"9783031635007","price":64.99,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0612\/7193\/3106\/files\/9783031635007.jpg?v=1786529183","url":"https:\/\/backstory.london\/products\/automated-reasoning","provider":"Backstory","version":"1.0","type":"link"}