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

Automated Deduction - Cade-15 is a collection of papers presented at the 15th International Conference on Automated Deduction, held in Lindau, Germany from July 5-10, 1998. This conference brought together researchers and practitioners in the field of automated deduction to discuss the latest developments and advances in this area. The topics covered in this proceedings include various aspects of automated deduction, such as theorem proving, logic programming, artificial intelligence, and formal methods. The papers in this collection represent cutting-edge research and provide valuable insights into the current state of the art in automated deduction. This paperback edition of the proceedings is an essential resource for anyone interested in automated deduction, whether they are academics, researchers, or practitioners. It is written in a clear and accessible manner, making it suitable for both beginners and experts in the field.