Automated Deduction - A Basis for Applications Volume I Foundations

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

184.95 EUR 22% Off 236.00 EUR

Marke: Springer

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-22%

preigu.de

184.95 EUR 236.00 EUR

10-08-2026 01:03:33

Access to the deal

236.00 EUR 236.00 EUR

14-02-2026 01:30:19

Access to the deal