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
Chalmers, Data- och informationsteknik, Datavetenskap
Ämneskategorier
Datavetenskap (datalogi)
Technical report - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University: 2007:15