Pick Two: How AI-Safety Impossibility Results Reduce to One 1969 Theorem, Machine-Checked in Lean 4

Prices from
29.89

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

Pick Two: How AI-Safety Impossibility Results Reduce to One 1969 Theorem, Machine-Checked in Lean 4

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

£ 29.89

£ 29.89

Description (0)

Pick Two: How AI-Safety Impossibility Results Reduce to One 1969 Theorem, Machine-Checked in Lean 4

Product specifications

Brand Independently Published
EAN
  • 9798165427053

Independently Published

AI Powered Lean: How to Apply Artificial Intelligence Improve Processes, Cut Waste,...

£ 14.51
Compare 2 stores 2 stores

Independently Published

AI Powered Lean: How to Apply Artificial Intelligence Improve Processes, Cut Waste,...

£ 12.11
Compare 2 stores 2 stores

Columbia University Press

The Arrow Impossibility Theorem (Kenneth J. Lecture Series)

£ 13.64
More Information More Info

Productivity Press

Lean TRIZ: How to Dramatically Reduce Product-Development Costs with This Innovative Problem-Solving...

£ 40.79
More Information More Info
Featured Choice
£ 29.89
To Shop