PROOF AND COMPUTATION | DealShopping Deutschland
  1. Home
  2. PROOF AND COMPUTATION II
  • #

PROOF AND COMPUTATION II

154.49 EUR 144.73 EUR 6% Off

Teilen:
Gesponsert

Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification

averdo DE
144.73 EUR
24-11-2024 13:45:22
Gesponsert

PROOF AND COMPUTATION II

Hugendubel
154.49 EUR
24-09-2024 12:09:41

Ähnliche Produkte

Proof and Computation

Proof and Computation

101.54 EUR
Rewriting Computation and Proof

Rewriting Computation and Proof

53.24 EUR
Well-Quasi Orders in Computation, Logic, Language and Reasoning

Well-Quasi Orders in Computation, Logic, Language and Reasoning

169.74 EUR
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

30.99 EUR
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

30.98 EUR
Introduction to Proofs and Proof Strategies

Introduction to Proofs and Proof Strategies

45.49 EUR