Ebooks de Barteld Kooi en PDF et EPUB

2 Livre(s)
Télécharger le livre : One Hundred Prisoners and a Light Bulb
Ajouter à ma liste d'envies
One Hundred Prisoners and a Light Bulb
Barteld Kooi , Hans Van Ditmarsch
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

PDF, ePub

21,09 €
Télécharger le livre : Dynamic Epistemic Logic
Ajouter à ma liste d'envies
Dynamic Epistemic Logic
Wiebe Van Der Hoek , Barteld Kooi , Hans Van Ditmarsch
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
PDF

94,94 €