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
Medimops DE
48.98 EUR
Preis aktualisiert am: 12-06-2026 07:58:58
Gesponsert
preigu.de
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
