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

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

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

160.49 EUR
Preis aktualisiert am: 16-05-2026 05:22:42
Siehe Produktangebot

Gesponsert Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II, Fachbücher

160.49 EUR
Preis aktualisiert am: 15-05-2026 23:26:33
Siehe Produktangebot
Bezeichner
ISBN Springer Netherlands 9048150523
MPN Springer Netherlands biography
Abmessungen / Gewicht
Hauptmerkmale
Springer Netherlands

Springer Netherlands is a publisher of scientific and academic books and journals. It was founded in 1842 and is now a subsidiary of Springer Science+Business Media.