-
Deutschland
Land International
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
55.70 EUR
Preis aktualisiert am: 10-08-2026 02:21:39
Gesponsert
Medimops DE
58.84 EUR
Preis aktualisiert am: 06-09-2026 20:25:14
Gesponsert
Galaxus.de
58.84 EUR
Preis aktualisiert am: 28-07-2026 06:02:47
Gesponsert
SpringerLink DE
65.00 EUR
Preis aktualisiert am: 07-09-2026 11:20:57
Allgemein
Marke
Clara Löh
