Mechanizing Proof
Mechanizing Proof
Mechanizing Proof
Mechanizing Proof: Computing, Risk, and Trust
Type: Physical Book
Language: English
Release Date: 2004-03-01
ISBN 10: 0262632950
ISBN 13: 9780262632959
Readers: 1
Country: United States of America
Data Score: 1170