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)

Gesponsert
54.80 EUR
Preis aktualisiert am: 12-06-2026 03:37:31
Gesponsert
SpringerLink DE
58.84 EUR
Preis aktualisiert am: 11-06-2026 23:26:08

Allgemein

Marke
Clara Löh

Eigenschaften

Menü