Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. 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

Teilen:
Gesponsert

Interactive Theorem Proving

SpringerLink DE
59.00 EUR
01-11-2026 18:29:50

Ähnliche Produkte

Interactive Theorem Proving

Interactive Theorem Proving

52.94 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

142.00 EUR
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

82.79 EUR
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

53.49 EUR
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

53.49 EUR
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

52.94 EUR