2 résultat(s)
Télécharger le livre : One Hundred Prisoners and a Light Bulb
Barteld Kooi , Hans Van Ditmarsch
One Hundred Prisoners and a Light Bulb
A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by...
Editeur : Copernicus
Parution : 2015-07-09

Format(s) : PDF, ePub
21,09 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Dynamic Epistemic Logic
Wiebe Van Der Hoek , Barteld Kooi , Hans Van Ditmarsch
Dynamic Epistemic Logic
Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal...
Editeur : Springer
Parution : 2007-05-06
Collection : Synthese Library
Format(s) : PDF
94,94 €
Téléchargement immédiat
Dès validation de votre commande