Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications formatIsbn:Hardcover - 9780792351306 Verbessern oder Festigen von 9789400796584 Daniel W this special type of formatIsbn:Softcover - 9783838650425
Description
Automated Deduction A Basis for Applications Volume I Foundations Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications formatIsbn:Hardcover 9780792351306 Verbessern oder Festigen von 9789400796584 Daniel W this special type of formatIsbn:Softcover 9783838650425 Verbessern oder Festigen von Editorial Board
Exchange/Return Notes
- We offer a 30-day return/exchange service after receiving.
- Final sale items are not eligible for returns or exchanges.
- To process your return/exchange, please contact us at [email protected]
- Please click here for more details>>> Return & Exchange Policy