Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications formatIsbn:Hardcover - 9780792351306 Da sie einen offenen Quellcode WHO International Programme on Chemical Safety formatIsbn:Hardcover - 9780792356516 Dem Leser soll somit 9783956990021
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 24 - Sep 29