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

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

The SAP R/3(r) Guide to EDI and Interfaces: Cut Your Implementation Cost with Idocs(r), Ale(r) and RFC(R)

Deduction: Automated Logic

Automated theorem proving

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

Automated theorem proving

Fuzzy-Systems in Computer Science

Die Bibel. Sonderausgabe

5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980