1
Publié 2007
Table des matières: ... -- A Complete and Compact Propositional Deontic Logic -- Verifying Lock-Freedom Using Well-Founded...
Accéder au texte intégral
Électronique eBook