Login / Signup
Mechanizing Proof: Computing, Risk, and Trust, by D. MacKenzie. Cambridge, MA: The MIT Press, 2001.
Sal Restivo
Published in:
Inf. Soc. (2004)
Keyphrases
</>
mit press
artificial intelligence
risk assessment
case study
theorem proving
united kingdom
learning styles
risk management
trust model
risk factors
trust evaluation