Towards Mechanized Mathematical Assistants | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Towards Mechanized Mathematical Assistants

Towards Mechanized Mathematical Assistants

54.99 EUR 53.49 EUR 3% Off

Entdecken Sie in diesem Sammelband die neuesten Entwicklungen im Bereich mechanisierter Mathematikassistenz: von automatisierten Beweisstrategien über formale Verifikation bis hin zu interaktiven Theoremprüfern, und erfahren Sie, wie diese Werkzeuge Forschung und Lehre transformieren.

Teilen:

Ähnliche Produkte

Multimodal Learning toward Recommendation

Multimodal Learning toward Recommendation

102.64 EUR
Transaction Cost Economics and Beyond: Toward a New Economics of the Firm: Towards a New Economics of the Firm

Transaction Cost Economics and Beyond: Toward a New Economics of the Firm: Towards a New Economics of the Firm

110.80 EUR
Towards the Within (Remastered)

Towards the Within (Remastered)

12.28 EUR
Fingers Pointing Toward the Moon  : Reflections of a Pilgrim on the Way

Fingers Pointing Toward the Moon  : Reflections of a Pilgrim on the Way

14.98 EUR
Insurrectionist Wisdoms: Toward a North American Indigenized Pastoral Theology (Environment and Religion in Feminist-womanist, Queer, and Indigenous Perspectives)

Insurrectionist Wisdoms: Toward a North American Indigenized Pastoral Theology (Environment and Religion in Feminist-womanist, Queer, and Indigenous Perspectives)

103.80 EUR
Bending the Arc Towards Justice: Equity-Focused Practices for Educational Leaders (Information Age Publishing)

Bending the Arc Towards Justice: Equity-Focused Practices for Educational Leaders (Information Age Publishing)

120.20 EUR