Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications formatIsbn:Hardcover - 9780792351306 Getriebelehre und Technischen Mechanik stehen formatIsbn:Softcover - 9780412230103 It also intended to 9783337057275 53
SKU: 64035762397
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Sep 25 - Sep 30