Mechanizing Proof: Computing, Risk, and Trust
MacKenzie, Donald
- 出版商: 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.
