Exploring Formalisation: A Primer in Human Readable Mathematics Lean 3 with Examples from Simplicial Topology (Surveys and Tutorials the Applied Mathematical Sciences, 11, Band 11)

Preise von
54,99

Gesponserte Links

ALLE WEBSHOPS VERGLEICHEN (3)

Beschreibung

Exploring Formalisation: A Primer in Human Readable Mathematics Lean 3 with Examples from Simplicial Topology (Surveys and Tutorials the Applied Mathematical Sciences, 11, Band 11)

Webshops vergleichen (3)

Gesponserte Links · Einige Shops zahlen uns eine Vergütung

Sortieren nach:

54,99 € Gratis Versand

54,99 € Gratis Versand

58,84 € Gratis Versand

Beschreibung (0)

Exploring Formalisation: A Primer in Human Readable Mathematics Lean 3 with Examples from Simplicial Topology (Surveys and Tutorials the Applied Mathematical Sciences, 11, Band 11)


Produktspezifikationen

Marken Springer
EAN
  • 9783031146480
Größe


Preis-Historie

* Die Preishistorie enthält keine Daten von Amazon, Amazon Marketplace.

Preise zuletzt aktualisiert am:

Hervorgehobene Wahl
54,99 €
Zum Shop