Interactive Theorem Proving
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Galaxus.de
Gesponsert Interactive Theorem Proving, Fachbücher von Sandrine Blazy, David Pichardie, Christine Paulin-Mohring
53.49 EUR
Preis aktualisiert am: 01-07-2026 10:04:33
53.49 EUR
Preis aktualisiert am: 01-07-2026 10:04:33 | Bezeichner | |
|---|---|
| ISBN | Sandrine Blazy 364239633X |
| MPN | Sandrine Blazy black & white illustrations |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Sandrine Blazy
