Interactive Theorem | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Interactive Theorem Proving
  • #
  • #

Interactive Theorem Proving

59.00 EUR 52.94 EUR 10% Off

Teilen:
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
28-10-2026 17:18:18
Gesponsert

Interactive Theorem Proving

Hugendubel
53.49 EUR
29-10-2026 05:11:18
Gesponsert

Interactive Theorem Proving, Fachbücher von Ruben Gamboa, Gerwin Klein

Galaxus.de
53.49 EUR
29-10-2026 03:57:59
Gesponsert

Interactive Theorem Proving

SpringerLink DE
59.00 EUR
28-10-2026 06:12:40

Ähnliche Produkte

BLUEWALKER USV VI 500 R1U 500VA, 300W

BLUEWALKER USV VI 500 R1U 500VA, 300W

163.89 EUR
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions

Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions

128.39 EUR
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

59.00 EUR
Learning in a Digital World

Learning in a Digital World

149.79 EUR