AKTUELLE PARTNERANGEBOTE
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)
Binding : Taschenbuch, Edition : 1st ed. 2022, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 151, publicationDate : 2022-11-03, releaseDate : 2022-11-03, authors : Clara Löh, ISBN : 3031146484
2 Angebote · ab 58,84 € gemeldete Gesamtkosten