1. Home
  2. Mechanizing Proof: Computing, Risk, and Trust - Inside Technology (Paperback)
  • #

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

36.70 EUR

Teilen:
Gesponsert

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

Medimops DE
36.70 EUR
22-04-2026 19:14:04

Ä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)

103.94 EUR
Mechanizing Minds and Humanizing Machines

Mechanizing Minds and Humanizing Machines

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

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

53.49 EUR
Mechanizing Hypothesis Formation

Mechanizing Hypothesis Formation

78.49 EUR