Mechanizing Proof: Computing, Risk, and Trust (Inside Technology) - Softcover

MacKenzie, Donald

 
9780262632959: Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)

Inhaltsangabe

This series presents recent research on the effects of taxation and government expenditure programs on economic performance and analyses of the effects of potential tax reforms. The research results appear in a form that is accessible to tax practitioners and policymakers.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Donald MacKenzie is Professor of Sociology (Personal Chair) at the University of Edinburgh. His books include Inventing Accuracy (1990), Knowing Machines (1996), and Mechanizing Proof (2001), all published by the MIT Press. Portions of An Engine, not a Camera won the Viviana A. Zelizer Prize in economic sociology from the American Sociological Association.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9780262133937: Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)

Vorgestellte Ausgabe

ISBN 10:  0262133938 ISBN 13:  9780262133937
Verlag: MIT Press, 2001
Hardcover