証明の機械化：コンピュータ、リスクと信頼<br>Mechanizing Proof : Computing, Risk, and Trust (Inside Technology)

証明の機械化：コンピュータ、リスクと信頼
Mechanizing Proof : Computing, Risk, and Trust (Inside Technology)

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Hardcover:ハードカバー版／ページ数 427 p.
  • 言語 ENG
  • 商品コード 9780262133937
  • DDC分類 004.21

基本説明

New in paperback. Hardcover was published in 2001. Winner, 2003 Robert K. Merton Book Award presented by the Science, Knowledge, and Technology section of the American Sociological Assoiation.