Interactive Theorem Proving

Interactive Theorem Proving
Wo zu kaufen (4) 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: 02-11-2026 22:45:37
Siehe Produktangebot
Gesponsert
Interactive Theorem Proving
Hugendubel
53.49 EUR
Preis aktualisiert am: 04-11-2026 06:34:02
Siehe Produktangebot
Gesponsert
Interactive Theorem Proving, Fachbücher von Ruben Gamboa, Gerwin Klein
Galaxus.de
53.49 EUR
Preis aktualisiert am: 29-10-2026 03:57:59
Siehe Produktangebot
Gesponsert
Interactive Theorem Proving
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 03-11-2026 17:49:34
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Bluewalker USV Powerwalker VI 500 R1U Line-Interactive
Bluewalker USV Powerwalker VI 500 R1U Line-Interactive
Aus163.89 EUR 2
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)
Aus142.00 EUR 1
Produkt anzeigen
Learning in a Digital World
Learning in a Digital World
Aus165.50 EUR 1
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
Aus59.00 EUR 1
Produkt anzeigen
Menü