Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings

The conference proceedings capture the essence of the 15th International Conference on Automated Deduction, showcasing innovative research and developments in the field. Hosted in Lindau, Germany, this gathering brought together experts and enthusiasts dedicated to advancing automated reasoning techniques.

Within these pages, readers will discover a compilation of refereed papers that highlight significant findings, methodological advancements, and discussions that contribute to the ongoing dialogue in automated deduction. The work reflects a vibrant community eager to share insights and push the boundaries of knowledge in this fascinating domain.