Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Band 2)

Ein kompakter Leitfaden, der die Prinzipien interaktiver Beweise mit dem Cambridge LCF-System in klarer Sprache darstellt und praxisnahe Beispiele auf ...
Logic and Computation
Wo zu kaufen (1) Eigenschaften
Gesponsert
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Band 2)
Medimops DE
69.70 EUR
Preis aktualisiert am: 06-05-2026 20:30:38
Siehe Produktangebot

Allgemein

Marke
Cambridge University Press
ISBN
Cambridge University Press 9780521395601

Eigenschaften

Ähnliche Produkte

Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings (Lecture Notes in Computer Science)
Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings (Lecture Notes in Computer Science)
Produkt anzeigen
Computation Theory and Logic (Lecture notes in computer science, vol.270)
Computation Theory and Logic (Lecture notes in computer science, vol.270)
Produkt anzeigen
Lectures on Logic and Computation: ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes (Lecture Notes in Computer Science)
Lectures on Logic and Computation: ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes (Lecture Notes in Computer Science)
Produkt anzeigen
The Dynamics of Judicial Proof: Computation, Logic, and Common Sense (Studies in Fuzziness and Soft Computing, 94, Band 94)
The Dynamics of Judicial Proof: Computation, Logic, and Common Sense (Studies in Fuzziness and Soft Computing, 94, Band 94)
Produkt anzeigen
Independence-Friendly Logic: A Game-theoretic Approach
Independence-Friendly Logic: A Game-theoretic Approach
Produkt anzeigen
Mathematical Logic and Computation
Mathematical Logic and Computation
Produkt anzeigen
Menü