Matches in SemOpenAlex for { <https://semopenalex.org/work/W1497503265> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W1497503265 abstract "Most aspects of our private and social lives---our safety, the integrity of the financial system, the functioning of utilities and other services, and national security---now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof over the last half century from the perspectives of history and sociology. His discussion draws on the technical literature of computer science and artificial intelligence and on extensive interviews with scientists and engineers." @default.
- W1497503265 created "2016-06-24" @default.
- W1497503265 creator A5027331101 @default.
- W1497503265 date "2001-01-01" @default.
- W1497503265 modified "2023-09-26" @default.
- W1497503265 title "Mechanizing Proof: Computing, Risk, and Trust" @default.
- W1497503265 hasPublicationYear "2001" @default.
- W1497503265 type Work @default.
- W1497503265 sameAs 1497503265 @default.
- W1497503265 citedByCount "64" @default.
- W1497503265 countsByYear W14975032652012 @default.
- W1497503265 countsByYear W14975032652013 @default.
- W1497503265 countsByYear W14975032652014 @default.
- W1497503265 countsByYear W14975032652015 @default.
- W1497503265 countsByYear W14975032652016 @default.
- W1497503265 countsByYear W14975032652017 @default.
- W1497503265 countsByYear W14975032652018 @default.
- W1497503265 countsByYear W14975032652019 @default.
- W1497503265 countsByYear W14975032652021 @default.
- W1497503265 crossrefType "book" @default.
- W1497503265 hasAuthorship W1497503265A5027331101 @default.
- W1497503265 hasConcept C127413603 @default.
- W1497503265 hasConcept C153701036 @default.
- W1497503265 hasConcept C180706569 @default.
- W1497503265 hasConcept C2522767166 @default.
- W1497503265 hasConcept C26517878 @default.
- W1497503265 hasConcept C38652104 @default.
- W1497503265 hasConcept C41008148 @default.
- W1497503265 hasConcept C55587333 @default.
- W1497503265 hasConceptScore W1497503265C127413603 @default.
- W1497503265 hasConceptScore W1497503265C153701036 @default.
- W1497503265 hasConceptScore W1497503265C180706569 @default.
- W1497503265 hasConceptScore W1497503265C2522767166 @default.
- W1497503265 hasConceptScore W1497503265C26517878 @default.
- W1497503265 hasConceptScore W1497503265C38652104 @default.
- W1497503265 hasConceptScore W1497503265C41008148 @default.
- W1497503265 hasConceptScore W1497503265C55587333 @default.
- W1497503265 hasLocation W14975032651 @default.
- W1497503265 hasOpenAccess W1497503265 @default.
- W1497503265 hasPrimaryLocation W14975032651 @default.
- W1497503265 hasRelatedWork W1221281049 @default.
- W1497503265 hasRelatedWork W1536900577 @default.
- W1497503265 hasRelatedWork W1589950552 @default.
- W1497503265 hasRelatedWork W1705210632 @default.
- W1497503265 hasRelatedWork W1978701263 @default.
- W1497503265 hasRelatedWork W1982708047 @default.
- W1497503265 hasRelatedWork W1989324470 @default.
- W1497503265 hasRelatedWork W1990273506 @default.
- W1497503265 hasRelatedWork W2002438148 @default.
- W1497503265 hasRelatedWork W2005973420 @default.
- W1497503265 hasRelatedWork W2011043790 @default.
- W1497503265 hasRelatedWork W2020606208 @default.
- W1497503265 hasRelatedWork W2024484915 @default.
- W1497503265 hasRelatedWork W2032990020 @default.
- W1497503265 hasRelatedWork W2035386280 @default.
- W1497503265 hasRelatedWork W2087730581 @default.
- W1497503265 hasRelatedWork W2102816475 @default.
- W1497503265 hasRelatedWork W2320543258 @default.
- W1497503265 hasRelatedWork W2753533763 @default.
- W1497503265 hasRelatedWork W2998385477 @default.
- W1497503265 isParatext "false" @default.
- W1497503265 isRetracted "false" @default.
- W1497503265 magId "1497503265" @default.
- W1497503265 workType "book" @default.