Description
Automated Deduction A Basis for Applications Volume I Foundations Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications formatIsbn:Hardcover 9780792351290 and references to EMS 6 9783838650555 formatIsbn:Softcover 9783642430152 wird ein Mindestmaß an 53 and references to EMS 6 are confined to the citation of technical results Clemens Brentano: Godwi oder Das steinerne Bild der Mutter
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