Exploring Formalisation
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology (Surveys and Tutorials in the Applied Mathematical Sciences, 11, Band 11)
48.98 EUR
Preis aktualisiert am: 21-04-2026 03:19:32
48.98 EUR
Preis aktualisiert am: 21-04-2026 03:19:32 
preigu.de
Gesponsert Exploring Formalisation
54.80 EUR
Preis aktualisiert am: 21-04-2026 03:16:03
54.80 EUR
Preis aktualisiert am: 21-04-2026 03:16:03 
SpringerLink DE
Gesponsert Exploring Formalisation
58.84 EUR
Preis aktualisiert am: 21-04-2026 06:14:00
58.84 EUR
Preis aktualisiert am: 21-04-2026 06:14:00 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
Clara Löh
