Mechanizing Proof
Subtitle: Computing, Risk, and Trust (Inside Technology)
Edition: New Ed edition
Publisher: The MIT Press
Published: March 1, 2004
Language: eng
Format: Paperback
Number of pages: 439
ISBN-13: 9780262632959
Subjects: Impact of science & technology on society; Social Science; Computers - General Information; Sociology; Computer Science; Social Science / Sociology / General; Sociology - General