Name: Logic and Computation
Brand: Cambridge University Press
SKU: ID12425060

Logic and Computation

77.49 EUR

Ein kompakter Leitfaden, der die Theorie interaktiver Beweise mit dem Cambridge LCF-System in klarer Sprache darstellt und praxisnahe Beispiele auf 320 Seiten aus dem Jahr 2020 bietet.

Marke: Cambridge University Press

ISBN: 9780521395601

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Logic and Computation

Hugendubel

77.49 EUR 77.49 EUR

04-11-2026 04:25:03

Access to the deal

Logic and Computation

Gesponsert Logic and Computation

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Logic and Computation

Gesponsert Logic and Computation

Ähnliche Produkte

Independence-Friendly Logic: A Game-theoretic Approach

The Dynamics of Judicial Proof: Computation, Logic, and Common Sense (Studies in Fuzziness and Soft Computing, 94, Band 94)

Computation Theory and Logic (Lecture notes in computer science, vol.270)

Lectures on Logic and Computation