{"product_id":"automated-deduction-cade-27-springer-nature-switzerland-ag-9783030294359-27th-international-conference-on-automated-deduction-natal-brazil-august-27-30-2019-proceedings-pascal-fontaine","title":"Automated Deduction – CADE 27","description":"\u003cp\u003eDiscover the cutting-edge research in automated deduction with \u003cstrong\u003eAutomated Deduction – CADE 27\u003c\/strong\u003e, edited by \u003cstrong\u003ePascal Fontaine\u003c\/strong\u003e. This comprehensive volume compiles the proceedings of the 27th International Conference on Automated Deduction, held in Natal, Brazil, in August 2019. Featuring 27 meticulously reviewed full papers and 7 insightful system descriptions, this book showcases the latest advancements and methodologies in the field. With a total of \u003cstrong\u003e582 pages\u003c\/strong\u003e, this first edition published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e is an essential resource for researchers, practitioners, and students interested in automated reasoning and artificial intelligence. Enhance your understanding of this dynamic discipline and explore the innovative contributions presented at CADE 27.\u003c\/p\u003e","brand":"Pascal Fontaine","offers":[{"title":"Default Title","offer_id":52251450474838,"sku":"9783030294359","price":84.87,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030294359.jpg?v=1767778989","url":"https:\/\/www.englishbook.pt\/products\/automated-deduction-cade-27-springer-nature-switzerland-ag-9783030294359-27th-international-conference-on-automated-deduction-natal-brazil-august-27-30-2019-proceedings-pascal-fontaine","provider":"Bookshop","version":"1.0","type":"link"}