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)

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)

58.84 EUR 9% Off 65.00 EUR

Marke: Clara Löh

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-9%

Gesponsert 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)

Medimops DE

58.84 EUR 65.00 EUR

16-09-2026 22:21:05

Access to the deal

-9%

Gesponsert Exploring Formalisation, Fachbücher von Clara Löh

Galaxus.de

58.84 EUR 65.00 EUR

17-09-2026 13:55:16

Access to the deal

-9%

Gesponsert Exploring Formalisation

Hugendubel

58.99 EUR 65.00 EUR

17-09-2026 06:07:13

Access to the deal

Gesponsert Exploring Formalisation

SpringerLink DE

65.00 EUR 65.00 EUR

18-09-2026 18:26:04

Access to the deal

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)

Gesponsert 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)

Gesponsert Exploring Formalisation, Fachbücher von Clara Löh

Gesponsert Exploring Formalisation

Gesponsert Exploring Formalisation

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

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)

Gesponsert 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)

Gesponsert Exploring Formalisation, Fachbücher von Clara Löh

Gesponsert Exploring Formalisation

Gesponsert Exploring Formalisation

Ähnliche Produkte

Plant: Exploring the Botanical World

Indonesia etc: Exploring the Improbable Nation

Indonesia etc: Exploring the Improbable Nation

Plant: Exploring the Botanical World