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
44,13

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (1)

Beschreibung

Amazon 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)
Description Beschreibung
Product Specifications Produktspezifikationen
Related Products Vergleichbare Produkte
?>
Next
Previous

Webshops vergleichen (1)

Shop
Preis
Versandkosten
Total price
Amazon Logo
44,13 €
Gratis
44,13 €
Zum Shop
Gratis Shipping Costs
Beschreibung (1)

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)

Produktspezifikationen

Marken Springer
EAN
  • 9783031146480

Preise zuletzt aktualisiert am:

Springer

Mathematical Phyllotaxis (Surveys and Tutorials in the Applied Sciences, 17, Band 17)

49,99 €
Weitere Informationen Mehr Infos

Springer

A Billiard Problem in Nonlinear Dissipative Systems (Surveys and Tutorials the Applied...

149,79 €
Weitere Informationen Mehr Infos

Springer

A Concise Introduction to Classical Mechanics (Surveys and Tutorials in the Applied...

49,99 €
Weitere Informationen Mehr Infos

Springer

Topology, Geometry and Gauge fields: Interactions (Applied Mathematical Sciences, Band 141)

87,99 €
Weitere Informationen Mehr Infos
Hervorgehobene Wahl
44,13 €
Zum Shop