BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
eBook
Exploring Formalisation
A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Springer International Publishing
ISBN 978-3-031-14649-7
Standardpreis
Bibliografische Daten
eBook. PDF. Weiches DRM (Wasserzeichen)
2022
Umfang: 147 S.
Verlag: Springer International Publishing
ISBN: 978-3-031-14649-7
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: Mathematics and Statistics Mathematics and Statistics (R0) Surveys and Tutorials in the Applied Mathematical Sciences
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com
Rezensionen
