Mechanizing Proof: Computing, Risk, and Trustby Donald MacKenzie
Review by: Steven W. Usselman
- 期刊名称Technology and Culture
- 作者Review by: Steven W. Usselman
- 卷第45卷
- 期第4期
- 印刷ISSN0040-165X
- 电子ISSN1097-3729
- 文件大小452.36KB
- 发表时间2004-10
- DOI10.2307/40060728
- 页码893-895