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
preigu.de
54.90 EUR
Preis aktualisiert am: 29-07-2026 04:03:22
Gesponsert
Medimops DE
58.84 EUR
Preis aktualisiert am: 29-07-2026 04:52:18
Gesponsert
Galaxus.de
58.84 EUR
Preis aktualisiert am: 28-07-2026 06:02:47
Gesponsert
SpringerLink DE
65.00 EUR
Preis aktualisiert am: 29-07-2026 07:48:50
Allgemein
Marke
Clara Löh
