Mechanizing Proof: Computing, Risk, and Trust - Brossura

MacKenzie, Donald

 
9780262632959: Mechanizing Proof: Computing, Risk, and Trust
Brossura
ISBN 10: 0262632950 ISBN 13: 9780262632959
Casa editrice: MIT Press, 2004

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull?autore

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
MIT Press
Data di pubblicazione
2004
Lingua
Inglese
ISBN 10 
0262632950
ISBN 13 
9780262632959
Rilegatura
Copertina flessibile
Numero di pagine
440
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9780262133937: Mechanizing Proof: Computing, Risk, and Trust

Edizione in evidenza

ISBN 10:  0262133938 ISBN 13:  9780262133937
Casa editrice: Mit Pr, 2001
Rilegato