-
-78%
Automated Deduction – A Basis for Applications Volume I Foundations – Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series)
0Original price was: $73.00.$16.00Current price is: $16.00.Automated Deduction – A Basis for Applications Volume I Foundations – Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series), Biagio Ricceri, 9780792351313