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 (2) Eigenschaften
Gesponsert
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Band 2)
Medimops DE
73.00 EUR
Preis aktualisiert am: 24-09-2026 10:19:59
Siehe Produktangebot
Gesponsert
Logic and Computation
Hugendubel
76.99 EUR
Preis aktualisiert am: 21-09-2026 08:37:44
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)
Aus48.98 EUR 4
Produkt anzeigen
Computation Theory and Logic (Lecture notes in computer science, vol.270)
Computation Theory and Logic (Lecture notes in computer science, vol.270)
Aus53.49 EUR 3
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)
Aus48.99 EUR 3
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)
Aus197.54 EUR 2
Produkt anzeigen
Mathematical Logic and Computation
Mathematical Logic and Computation
Aus74.49 EUR 1
Produkt anzeigen
Independence-Friendly Logic: A Game-theoretic Approach
Independence-Friendly Logic: A Game-theoretic Approach
Aus45.49 EUR 1
Produkt anzeigen
Menü