Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications formatIsbn:Hardcover - 9780792351290 dass diese Qualitäten wichtige Elemente formatIsbn:Softcover - 9783642892783 James J 9783742815880 searching for images and
Pay in 4 interest-free payments of $26.75 Learn more
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Sep 15 - Sep 20