Donald Angus MacKenzie has written at least 5 books. Their most popular book is Mechanizing Proof: Computing, Risk, and Trust with 1 save with an average rating of -⭐.
They are best known for writing in the genres History and Science.
Mechanizing Proof Mechanizing Proof: Computing, Risk, and Trust
|
Inventing Accuracy Inventing Accuracy: A Historical Sociology of Nuclear Missile Guidance
|