{"product_id":"automated-reasoning-jasmin-blanchette-9783031107689","title":"Automated Reasoning: 11th International Joint Conference, Ijcar 2022, Haifa, Israel, August 8-10, 2022, Proceedings","description":"\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 \u003cp\u003e\u003cbr\u003e\u003c\/p\u003e \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\u003cp\u003eThis is an open access book.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Jasmin Blanchette\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3031107683\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783031107689\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 07\/17\/2022\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 756\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 2.35lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 1.54d","brand":"Jasmin Blanchette","offers":[{"title":"Paperback","offer_id":44078023082239,"sku":"9783031107689","price":49.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_3b28711e-1489-478f-973d-b2f3f7b713e9.jpg?v=1685473105","url":"https:\/\/www.whiterainbookhouse.com\/products\/automated-reasoning-jasmin-blanchette-9783031107689","provider":"WR Book House","version":"1.0","type":"link"}