Exploring Formalisation in Lean 3: A Primer in Human-Readable Mathematics | DealShopping Deutschland
  1. Home
  2. Exploring Formalisation in Lean 3: A Primer in Human-Readable Mathematics
  • #

Exploring Formalisation in Lean 3: A Primer in Human-Readable Mathematics

65.00 EUR 58.99 EUR 9% Off

Teilen:
Gesponsert

Exploring Formalisation

Hugendubel
58.99 EUR
03-11-2026 14:18:50
Gesponsert

Exploring Formalisation

SpringerLink DE
65.00 EUR
03-11-2026 18:34:58

Ähnliche Produkte

Interpretations of Luxury: Exploring the Consumer Perspective

Interpretations of Luxury: Exploring the Consumer Perspective

159.84 EUR
Managing Agricultural Enterprises

Managing Agricultural Enterprises

149.43 EUR
Music Health and Wellbeing

Music Health and Wellbeing

176.94 EUR
The Linguistics of Spoken Communication in Early Modern English Writing: Exploring Bess of Hardwick's Manuscript Letters (New Approaches to English Historical Linguistics)

The Linguistics of Spoken Communication in Early Modern English Writing: Exploring Bess of Hardwick's Manuscript Letters (New Approaches to English Historical Linguistics)

106.99 EUR
Vintage Luxury Fashion

Vintage Luxury Fashion

145.04 EUR
Neuromarketing: Exploring the Brain of the Consumer

Neuromarketing: Exploring the Brain of the Consumer

192.49 EUR