Reviews matching “Mechanizing Proof: Computing, Risk, and Trust: Inside Technology”

2 results

BookAuthorReviewerJournalDate
Mechanizing Proof: Computing, Risk, and Trust: Inside Technology Donald Mackenzie O. Bueno Philosophia Mathematica 2005-10-01
Mechanizing Proof: Computing, Risk, and Trust: Inside Technology Donald Mackenzie Harry Collins British Journal for the History of Science 2002-12-01

Open this search with filters