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

53.49 EUR

Teilen:
Gesponsert

Theorem Proving in Higher Order Logics

SpringerLink DE
53.49 EUR
14-05-2026 02:37:33
Gesponsert

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

Galaxus.de
53.49 EUR
14-05-2026 08:46:11

Ähnliche Produkte

Automated Theorem Proving: Theory and Practice

Automated Theorem Proving: Theory and Practice

111.98 EUR
Interactive Theorem Proving

Interactive Theorem Proving

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

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

90.34 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
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

106.99 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

53.49 EUR