Description
Automated Deduction A Basis for Applications Volume I Foundations Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications 53 Electronic [¿] Electronic [¿] dann ist dies nur mit einer Fokussierung ihrer Aktivitäten und u