{"product_id":"automated-deduction-cade-26-springer-international-publishing-ag-9783319630458-26th-international-conference-on-automated-deduction-gothenburg-sweden-august-6-11-2017-proceedings-leonardo-de-moura","title":"Automated Deduction – CADE 26","description":"\u003cp\u003eDiscover the cutting-edge insights of \u003cstrong\u003eAutomated Deduction – CADE 26\u003c\/strong\u003e, authored by \u003cstrong\u003eLeonardo de Moura\u003c\/strong\u003e. This comprehensive collection showcases the proceedings of the 26th International Conference on Automated Deduction, held in Gothenburg, Sweden, in August 2017. With a total of 582 pages, this first edition published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e offers an in-depth exploration of the latest advancements in automated reasoning and deduction.\u003c\/p\u003e \u003cp\u003eThe volume features 26 meticulously reviewed full papers and 5 system descriptions, selected from an impressive 69 submissions. Ideal for researchers, practitioners, and anyone interested in the field, this book serves as a vital resource for understanding the current trends and challenges in automated deduction. Enhance your knowledge and stay ahead in the rapidly evolving domain of artificial intelligence and logic with this essential read.\u003c\/p\u003e","brand":"Leonardo de Moura","offers":[{"title":"Default Title","offer_id":52251450671446,"sku":"9783319630458","price":84.87,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319630458.jpg?v=1767778988","url":"https:\/\/www.englishbook.pt\/products\/automated-deduction-cade-26-springer-international-publishing-ag-9783319630458-26th-international-conference-on-automated-deduction-gothenburg-sweden-august-6-11-2017-proceedings-leonardo-de-moura","provider":"Bookshop","version":"1.0","type":"link"}