1. Home
  2. Medien
  3. Bücher
  4. Logic and Computation: Interactive Proof with Cambridge LCF
  • #

Logic and Computation: Interactive Proof with Cambridge LCF

69.70 EUR

Ein praxisnaher Einstieg in die Theorie interaktiver Beweise, der das Cambridge LCF-System anschaulich erklärt und mit zahlreichen Beispielen sowie Übungen auf 320 Seiten aus dem Jahr 2020 verknüpft.

Teilen:

Ähnliche Produkte

Independence-Friendly Logic: A Game-theoretic Approach

Independence-Friendly Logic: A Game-theoretic Approach

45.49 EUR
The Dynamics of Judicial Proof

The Dynamics of Judicial Proof

213.99 EUR
Computation Theory and Logic

Computation Theory and Logic

53.49 EUR
Lectures on Logic and Computation: ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

Lectures on Logic and Computation: ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

49.22 EUR
Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

48.98 EUR
Mathematical Logic and Computation

Mathematical Logic and Computation

72.99 EUR
Computational Intelligence and Its Applications: Evolutionary Computation, Fuzzy Logic, Neural Network and Support Vector Machine Techniques

Computational Intelligence and Its Applications: Evolutionary Computation, Fuzzy Logic, Neural Network and Support Vector Machine Techniques

110.00 EUR
Proofs and Computations (Perspectives in Logic)

Proofs and Computations (Perspectives in Logic)

97.90 EUR