For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains the papers a

KI2004wasthe27theditionoftheannualGermanConferenceonArti?cialInt- ligence, which traditionally brings together academic and industrial researchers from all area

For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains the papers a

This book constitutes the refereed proceedings of the First International Joint Conference on Automated Reasoning, IJCAR 2001, held in Siena, Italy, in June 200

This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the