Mechanizing Proof: Computing, Risk, and Trust (Inside Technology (Paperback))

Wo zu kaufen (1) Eigenschaften

Gesponsert

Mechanizing Proof: Computing, Risk, and Trust (Inside Technology (Paperback))

Medimops DE

36.80 EUR

Preis aktualisiert am: 12-06-2026 07:11:53

Siehe Produktangebot

Allgemein

Marke

Donald MacKenzie

Eigenschaften

Ähnliche Produkte

Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday: Essays in Honor of Jörg H. Siekmann on ... Notes in Computer Science, 2605, Band 2605)

Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday: Essays in Honor of Jörg H. Siekmann on ... Notes in Computer Science, 2605, Band 2605)

Produkt anzeigen

Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory (Universitext)

Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory (Universitext)

Produkt anzeigen

MECHANIZING MINDS AND HUMANIZING MACHINES: The Inevitable Android

MECHANIZING MINDS AND HUMANIZING MACHINES: The Inevitable Android

Produkt anzeigen

Mechanizing Hypothesis Formation

Mechanizing Hypothesis Formation

Produkt anzeigen