Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 7 of about 7 citing Mechanizing Proof: Computing, Risk, and Trust.

Tracking Reason: Proof, Consequence, and Truth

Jody Azzouni - Mathematics - 2005 - 256 pages
When ordinary people--mathematicians among them--take something to follow (deductively) from something else, they are exposing the backbone of our self-ascribed ability to ...
Limited preview - About this book

Gravity's Shadow: The Search for Gravitational Waves

Harry Collins - Science - 2010 - 864 pages
According to the theory of relativity, we are constantly bathed in gravitational radiation. When stars explode or collide, a portion of their mass becomes energy that disturbs ...
Limited preview - About this book

Social and Human Elements of Information Security: Emerging Trends and ...

Gupta, Manish - Business & Economics - 2008 - 412 pages
Provides research on the social and human aspects of information security. Presents the latest trends, issues, and findings in the field.
Limited preview - About this book

  1. My library
  2. Help
  3. Advanced Book Search