Mechanizing Proof: Computing, Risk, and Trust

MacKenzie, Donald

Mechanizing Proof: Computing, Risk, and Trust
  • 出版商: MIT
  • 出版日期: 2004-01-30
  • 售價: $1,800
  • 貴賓價: 9.5 折 $1,710
  • 語言: 英文
  • 頁數: 440
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 0262632950
  • ISBN-13: 9780262632959

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

作者簡介

Donald MacKenzie is Professor of Sociology (Personal Chair) at the University of Edinburgh. His books include Inventing Accuracy (1990), Knowing Machines (1996), and Mechanizing Proof (2001), all published by the MIT Press. Portions of An Engine, not a Camera won the Viviana A. Zelizer Prize in economic sociology from the American Sociological Association.

類似商品