الكتب الالكترونية

عدد الكتب: 1 - 3 /3
978-3-540-35843-5
Deontic Logic and Artificial Normative Systems

This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, ...

اقرأ المزيد
978-3-540-70525-3
Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings

This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON ...

اقرأ المزيد
NoIMG
Nuel Belnap on Indeterminism and Free Action

This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our ...

اقرأ المزيد
عدد الكتب: 1 - 3 /3