Theorem Proving in Higher Order Logics | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Theorem Proving in Higher Order Logics
  • #
  • #

Theorem Proving in Higher Order Logics

53.49 EUR

Teilen:

Ähnliche Produkte

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

85.59 EUR
Automated Theorem Proving: Theory and Practice

Automated Theorem Proving: Theory and Practice

120.34 EUR
Interactive Theorem Proving

Interactive Theorem Proving

52.94 EUR
Mechanical Geometry Theorem Proving (Mathematics and Its Applications) (Mathematics and Its Applications, 41, Band 41)

Mechanical Geometry Theorem Proving (Mathematics and Its Applications) (Mathematics and Its Applications, 41, Band 41)

106.99 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
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

69.49 EUR