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

98.40 EUR

Teilen:
Gesponsert

Type Theory and Formal Proof: An Introduction

Medimops DE
98.40 EUR
29-07-2026 04:42:13

Ä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
Interval Type-3 Fuzzy Systems: Theory and Design

Interval Type-3 Fuzzy Systems: Theory and Design

122.50 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
Type Theory and Formal Proof

Type Theory and Formal Proof

59.99 EUR
Recent Trends in Data Type Specification

Recent Trends in Data Type Specification

53.49 EUR