P. H. Schmitt profile picture

P. H. Schmitt

Is this your author profile? Create an account to claim and customize it!

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series, 9)