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: 08-06-2026 14:44:41
Siehe Produktangebot

Gesponsert Exploring Formalisation

58.84 EUR
Preis aktualisiert am: 08-06-2026 11:07:09
Siehe Produktangebot
Bezeichner
Abmessungen / Gewicht
Hauptmerkmale
Clara Löh