ISBN 9789048150526 books & textbook

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

Bibel, Wolfgang Schmitt, P.H.

Springer /2010-12-09 Paperback / 347 Pages
isbn-10: 9048150523 / isbn-13: 9789048150526