CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Proofs Accompanying "Fast and Loose Reasoning is Morally Correct"

Nils Anders Danielsson (Institutionen för data- och informationsteknik, Datavetenskap, Programmeringslogik (Chalmers))
2007. - 108 s.

This rough and unpolished document contains detailed proofs supporting the theoretical development in "Fast and Loose Reasoning is Morally Correct".

Denna post skapades 2007-11-22. Senast ändrad 2013-08-13.
CPL Pubid: 62079