Alle Kategorien durchsuchen
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
All categories
Kaicus
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
Angebote
Liste speichern
Marken
Blog
Angebote
Kategorien
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
Information
Über uns
Datenschutz-Bestimmungen
Geschäftsbedingungen
Kontakt
FAQs
Tipps für Käufer
© 2026,
Kaicus
- Smart Shopping
All rights reserved
Kaicus
Medien
Bücher
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
53.49 EUR
Marke
:
Springer
Angebote
Merkmale
Gesponsert
Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
Weitere Informationen
Gesponsert
Interactive Theorem Proving
SpringerLink DE
53.49 EUR
53.49 EUR
10-06-2026 10:56:47
Access to the deal
Ähnliche Produkte
Interactive Theorem Proving and Program Development
78.21 EUR
90.94 EUR
Produkt anzeigen
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
53.49 EUR
Produkt anzeigen
Interactive Theorem Proving
52.94 EUR
53.49 EUR
Produkt anzeigen
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
128.39 EUR
Produkt anzeigen