Automated Deduction - A Basis for Applications Volume I Foundations -
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 Applications (Applied Logic Series, 8, Band 8)
174.35 EUR
Preis aktualisiert am: 23-05-2026 19:57:39
174.35 EUR
Preis aktualisiert am: 23-05-2026 19:57:39 
SpringerLink DE
Gesponsert Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
213.99 EUR
Preis aktualisiert am: 24-05-2026 06:42:15
213.99 EUR
Preis aktualisiert am: 24-05-2026 06:42:15 | Bezeichner | |
|---|---|
| ISBN | Wolfgang Bibel 0792351290 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Wolfgang Bibel
