Springer

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)

Name: 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)
Brand: Springer
SKU: 5f76d5f9fc508b01c50ad9a42a5d8d5b

1/1

Abbildung von 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)

Amazon

Preise von

58,84

Hervorgehoben

	58,84 €	Zum Shop
	58,84 €	Zum Shop
ALLE WEBSHOPS VERGLEICHEN (2)

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)

Webshops vergleichen (2)

Shop

Preis

Versandkosten

Total price

58,84 €

Gratis

58,84 €

Zum Shop

Gratis

58,84 €

Gratis

58,84 €

Zum Shop

Gratis

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)