Mechanizing Proof: Computing, Risk, and Trust - Couverture souple

MacKenzie, Donald

 
9780262632959: Mechanizing Proof: Computing, Risk, and Trust
Couverture souple
ISBN 10 : 0262632950 ISBN 13 : 9780262632959
Editeur : MIT Press, 2004

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
MIT Press
Date d'édition
2004
Langue
anglais
ISBN 10 
0262632950
ISBN 13 
9780262632959
Reliure
Broché
Nombre de pages
440
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9780262133937: Mechanizing Proof: Computing, Risk, and Trust

Edition présentée

ISBN 10 :  0262133938 ISBN 13 :  9780262133937
Editeur : The MIT Press, 2001
Couverture rigide