Proofs Accompanying "Fast and Loose Reasoning is Morally Correct"
Rapport, 2007
This rough and unpolished document contains detailed proofs supporting the theoretical development in "Fast and Loose Reasoning is Morally Correct".
Författare
Nils Anders Danielsson
Göteborgs universitet
Ämneskategorier (SSIF 2011)
Datavetenskap (datalogi)
Technical report - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University: 2007:15