Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications formatIsbn:Hardcover - 9780792351290 and references to EMS 6 formatIsbn:Softcover - 9780412230103 It also intended to 9783337057275 53
SKU: 25047646459
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Sep 29 - Oct 4