Automated Deduction – CADE 28

Discover the cutting-edge research in "Automated Deduction – CADE 28," authored by André Platzer and published by Springer Nature Switzerland AG in 2021. This comprehensive volume, consisting of 650 pages, compiles the proceedings of the 28th International Conference on Automated Deduction, which took place virtually in July 2021. Within its pages, you will find 29 meticulously reviewed full papers and 7 insightful system descriptions, all selected from a competitive pool of 76 submissions. Additionally, the book features 2 invited papers that provide further depth to the discussions presented. Perfect for researchers and enthusiasts in the field, this first edition serves as a valuable resource for anyone interested in the latest advancements in automated deduction. Don't miss the opportunity to explore the forefront of this dynamic area of study!