Mechanizing Proof: Computing, Risk, and Trust, by D. MacKenzie. Cambridge, MA: MIT Press, 2001. xi + 427 pp. $50.00. ISBN 0-262-13393-8.期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

按检索

Mechanizing Proof: Computing, Risk, and Trust, by D. MacKenzie. Cambridge, MA: MIT Press, 2001. xi + 427 pp. $50.00. ISBN 0-262-13393-8.

Authors:	Sal Restivo

Institution:	^a Rensselaer Polytechnic Institute, Troy, New York, USA

Abstract:

Keywords:
本文献已被 InformaWorld 等数据库收录！