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, Fachbücher von Klaus Schneider, Jens Brandt

Galaxus.de
53.49 EUR
25-09-2026 19:52:49
Gesponsert

Theorem Proving in Higher Order Logics

SpringerLink DE
53.49 EUR
27-09-2026 09:02:25

Ähnliche Produkte

Automated Theorem Proving: Theory and Practice

Automated Theorem Proving: Theory and Practice

120.34 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)

92.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

109.99 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

53.49 EUR