Interactive Theorem Proving

Interactive Theorem Proving
Wo zu kaufen (3) Eigenschaften
Gesponsert
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... (Lecture Notes in Computer Science)
Medimops DE
52.94 EUR
Preis aktualisiert am: 12-06-2026 05:59:43
Siehe Produktangebot
Gesponsert
Interactive Theorem Proving
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 12-06-2026 13:25:02
Siehe Produktangebot
Gesponsert
Interactive Theorem Proving, Fachbücher von Ruben Gamboa, Gerwin Klein
Galaxus.de
53.49 EUR
Preis aktualisiert am: 12-06-2026 05:15:57
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Bluewalker USV Powerwalker VI 500 R1U Line-Interactive
Bluewalker USV Powerwalker VI 500 R1U Line-Interactive
Produkt anzeigen
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Produkt anzeigen
Learning in a Digital World
Learning in a Digital World
Produkt anzeigen
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
Produkt anzeigen
AFP Interaktives Katzenspielzeug Schmetterling, 1 Stück (1er Pack)
AFP Interaktives Katzenspielzeug "Schmetterling", 1 Stück (1er Pack)
Produkt anzeigen
Interactives
Interactives - Culbuto Feather - Automatisches Katzenspielzeug mit Feder (zweimal)
Produkt anzeigen
Menü