0
Share - dela produkten

Löh, Clara Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology: 11

Löh, Clara Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology: 11


Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology: 11


Streckkod 9783031146480
brand Löh, Clara
sku 3031146484
Kategori Böcker och tidskrifter