Barteld Kooi – författare
Visar alla böcker från författaren Barteld Kooi. Handla med fri frakt och snabb leverans.
6 produkter
Dynamic Epistemic Logic
Av Hans van Ditmarsch, Wiebe van der Hoek m. fl.
Inbunden, 2007
1096 kr
Lägg i varukorg
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 specifications, including proof …
Dynamic Epistemic Logic
Av Barteld Kooi, Wiebe van der Hoek m. fl.
E-bok, 2007
1459 kr
Lägg i varukorg
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 specifications, including proof …
Dynamic Epistemic Logic
Av Hans van Ditmarsch, Wiebe van der Hoek m. fl.
Häftad, 2007
1096 kr
Lägg i varukorg
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 specifications, including proof …
Advances in Modal Logic Volume 10
Av Rajeev Gore, Barteld Kooi m. fl.
Häftad, 2014
300 kr
Lägg i varukorg
One Hundred Prisoners and a Light Bulb
Av Hans van Ditmarsch, Barteld Kooi
Häftad, 2015
206 kr
Lägg i varukorg
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 toggling the light switch (and that …
One Hundred Prisoners and a Light Bulb
Av Barteld Kooi, Hans van Ditmarsch
E-bok, 2015
245 kr
Lägg i varukorg
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 toggling the light switch (and that …
