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)

54.90 EUR 16% 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

-16%

Gesponsert Exploring Formalisation

preigu.de

54.90 EUR 65.00 EUR

27-07-2026 16:08:03

Access to the deal

-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

27-07-2026 15:38:44

Access to the deal

-9%

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

Galaxus.de

58.84 EUR 65.00 EUR

28-07-2026 06:02:47

Access to the deal

Gesponsert Exploring Formalisation

SpringerLink DE

65.00 EUR 65.00 EUR

27-07-2026 20:33:01

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

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

Ä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

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

Ähnliche Produkte

Plant: Exploring the Botanical World

Plant: Exploring the Botanical World

Indonesia etc: Exploring the Improbable Nation

Indonesia etc: Exploring the Improbable Nation