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
SpringerLink DE
58.84 EUR
Preis aktualisiert am: 28-10-2026 06:32:57
Gesponsert
58.99 EUR
Preis aktualisiert am: 29-10-2026 13:11:17

Allgemein

Marke
Clara Löh

Eigenschaften

Menü