Wolfgang Bibel, P.H. Schmitt

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - 1998 - Springer Netherlands 1998 - Applied Logic Series .

9789401704373


Mathematics and Statistics