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
Produkt anzeigen
Stewart, Alexander A.: Proof Presses
Stewart, Alexander A.: Proof Presses
Produkt anzeigen
Proof and Computation (NATO ASI Subseries F:, 139, Band 139)
Proof and Computation (NATO ASI Subseries F:, 139, Band 139)
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)
Produkt anzeigen
Introduction to Proofs and Proof Strategies
Introduction to Proofs and Proof Strategies
Produkt anzeigen
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Produkt anzeigen
Menü