この商品を友人に教える:
The Proof in the Code: How a Truth Machine Is Transforming Math and AI Kevin Hartnett
価格
¥ 4.009
税抜
遠隔倉庫からの取り寄せ
発送予定日 年11月9日 - 年11月18日
クリスマスプレゼントは1月31日まで返品可能です
Kevin Hartnett の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
The Proof in the Code: How a Truth Machine Is Transforming Math and AI
Kevin Hartnett
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 2026年7月20日 |
| ISBN13 | 9780374620059 |
| 出版社 | Farrar, Straus & Giroux Inc |
| ページ数 | 288 |
| 寸法 | 162 × 236 × 27 mm · 484 g |
| 言語 | 英語 |