Proof and Computation II

Wo zu kaufen (2) Eigenschaften
Gesponsert
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
averdo DE
144.73 EUR
Preis aktualisiert am: 24-11-2024 13:45:22
Siehe Produktangebot
Gesponsert
PROOF AND COMPUTATION II
Hugendubel
154.49 EUR
Preis aktualisiert am: 24-09-2024 12:09:41
Siehe Produktangebot

Allgemein

Marke
World Scientific

Eigenschaften

Ähnliche Produkte

Well-Quasi Orders in Computation, Logic, Language and Reasoning
Well-Quasi Orders in Computation, Logic, Language and Reasoning
Aus169.74 EUR 4
Produkt anzeigen
Proof and Computation (NATO ASI Subseries F:, 139, Band 139)
Proof and Computation (NATO ASI Subseries F:, 139, Band 139)
Aus101.54 EUR 4
Produkt anzeigen
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science, 4600, Band 4600)
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science, 4600, Band 4600)
Aus53.24 EUR 4
Produkt anzeigen
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Aus28.49 EUR 1
Produkt anzeigen
Introduction to Proofs and Proof Strategies
Introduction to Proofs and Proof Strategies
Aus46.49 EUR 1
Produkt anzeigen
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Aus30.98 EUR 1
Produkt anzeigen
Menü