Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

Preise von
78.02

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

Amazon Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

Shop
Preis
Amazon Logo
(€ 83.29)
CHF 78.02
Zum Shop
Amazon Marketplace Logo
(€ 83.29)
CHF 78.02
Zum Shop
Beschreibung (1)

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

Produktspezifikationen

Marken Springer
EAN
  • 9783642058806

Springer

Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability (Texts in Theoretical...

CHF 77.95
2 Shops vergleichen 2 Shops

Springer

An Introduction to Kolmogorov Complexity and Its Applications (Texts in Computer Science)

CHF 75.34
2 Shops vergleichen 2 Shops

Springer

The Computer Graphics Manual (Texts in Science)

CHF 155.07
2 Shops vergleichen 2 Shops

Springer

Computer Vision: Algorithms and Applications (Texts in Science)

CHF 72.92
2 Shops vergleichen 2 Shops
Hervorgehobene Wahl
CHF 78.02
Zum Shop