42509946
9789401704366
Out of Stock
The item you're looking for is currently unavailable.
Bibel, Wolfgang is the author of 'Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications', published 2014 under ISBN 9789401704366 and ISBN 9401704368.
[read more]