Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic Mathematical Logic and Foundations, Band 12)
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic Mathematical Logic and Foundations, Band 12)
38.30 EUR
Preis aktualisiert am: 04-08-2025 13:21:19
38.30 EUR
Preis aktualisiert am: 04-08-2025 13:21:19 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
Gabbay, D. M.
