Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Mathematical Methods of Specification and Synthesis of Software Systems ‘85: Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985