Sign in
Hidden fields
Advanced Book Search
Books
Books
Mechanizing Proof: Computing, Risk, and Trust
Donald MacKenzie
-
Social Science
- 2004 -
0 pages
No preview available
-
About this book
Mechanizing Proof: Computing, Risk, and Trust
Donald MacKenzie
-
Social Science
- 2004 -
0 pages
No preview available
-
About this book
Mechanizing Proof: Computing, Risk, and Trust
Donald A. MacKenzie
-
Computers
- 2001 -
427 pages
No preview available
-
About this book
Advanced Book Search
My library
Help
Advanced Book Search