{"product_id":"automated-reasoning-springer-international-publishing-ag-9783319085869-7th-international-joint-conference-ijcar-2014-held-as-part-of-the-vienna-summer-of-logic-vienna-austria-july-19-22-2014-proceedings-st-phane-demri","title":"Automated Reasoning","description":"\u003cp\u003eDiscover the fascinating world of automated reasoning in the authoritative volume, \u003cstrong\u003eAutomated Reasoning\u003c\/strong\u003e by \u003cstrong\u003eStéphane Demri\u003c\/strong\u003e. This book compiles the refereed proceedings from the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), which took place during the Vienna Summer of Logic in July 2014. Published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e, this 528-page paperback edition offers a comprehensive exploration of advancements in artificial intelligence and logic.\u003c\/p\u003e \u003cp\u003eIdeal for researchers, students, and professionals in software engineering and related fields, \u003cstrong\u003eAutomated Reasoning\u003c\/strong\u003e presents cutting-edge insights and methodologies that push the boundaries of automated reasoning. Enhance your understanding of this critical area of study and stay ahead in the rapidly evolving landscape of technology. Don't miss out on this essential resource for anyone interested in the intersection of logic and artificial intelligence.\u003c\/p\u003e","brand":"Stéphane Demri","offers":[{"title":"Default Title","offer_id":52251449786710,"sku":"9783319085869","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319085869.jpg?v=1767778990","url":"https:\/\/www.englishbook.pt\/products\/automated-reasoning-springer-international-publishing-ag-9783319085869-7th-international-joint-conference-ijcar-2014-held-as-part-of-the-vienna-summer-of-logic-vienna-austria-july-19-22-2014-proceedings-st-phane-demri","provider":"Bookshop","version":"1.0","type":"link"}