Theorem Proving in Higher Order Logics, Fachbücher von Klaus Schneider | DealShopping Deutschland
  1. Home
  2. Theorem Proving in Higher Order Logics, Fachbücher von Klaus Schneider, Jens Brandt
  • #

Theorem Proving in Higher Order Logics, Fachbücher von Klaus Schneider, Jens Brandt

59.00 EUR 53.49 EUR 9% Off

Teilen:
Gesponsert

Theorem Proving in Higher Order Logics, Fachbücher von Klaus Schneider, Jens Brandt

Galaxus.de
53.49 EUR
03-08-2026 08:23:28
Gesponsert

Theorem Proving in Higher Order Logics

SpringerLink DE
59.00 EUR
08-08-2026 12:28:50

Ähnliche Produkte

Automated Theorem Proving: Theory and Practice

Automated Theorem Proving: Theory and Practice

111.98 EUR
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

84.40 EUR
Interactive Theorem Proving

Interactive Theorem Proving

52.94 EUR
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

118.00 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: 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