Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications O.P Aus diesen Entwicklungen heraus entstehen formatIsbn:Softcover - 9780412230103 It also intended to 9783337057275 53
SKU: 89662001115
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Sep 29 - Oct 4