Type Theory and Formal Proof: An Introduction | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Type Theory and Formal Proof: An Introduction
  • #
  • #

Type Theory and Formal Proof: An Introduction

94.00 EUR

Teilen:
Gesponsert

Type Theory and Formal Proof: An Introduction

Medimops DE
94.00 EUR
07-06-2026 22:33:20

Ähnliche Produkte

Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice

Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice

53.49 EUR
Semantics of Type Theory

Semantics of Type Theory

90.94 EUR
Operators and Iterative Processes of Fejér Type: Theory and Applications (Inverse and Ill-Posed Problems Series, 53)

Operators and Iterative Processes of Fejér Type: Theory and Applications (Inverse and Ill-Posed Problems Series, 53)

179.95 EUR
Interval Type-3 Fuzzy Systems: Theory and Design

Interval Type-3 Fuzzy Systems: Theory and Design

106.99 EUR
Recent Trends in Data Type Specification

Recent Trends in Data Type Specification

53.49 EUR
Type Theory and Formal Proof

Type Theory and Formal Proof

58.49 EUR