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 D-79111 Freiburg formatIsbn:Softcover - 9789400737297 at the University of 9781489915481
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Sep 29 - Oct 4