Yazar
Hans van Ditmarsch
5 cilt bulundu.
Cilt sonuçları
Dynamic Epistemic Logic
Hans van Ditmarsch · Springer London, Limited
296 sayfa · 2007
Epistemics / Logic / Dynamische Logik / Wissensrevision / Epistemische Logik
Logic, Rationality, and Interaction
Hans van Ditmarsch · Springer-Verlag GmbH Berlin Heidelberg
Sayfa sayısı yok · 2011
Logic design / Computational complexity / Symbolic and mathematical Logic / Computer science / Data processing
One Hundred Prisoners and a Light Bulb
Hans van Ditmarsch, Elancheziyan, Barteld Kooi · Copernicus
200 sayfa · 2015
Computer science / Logic, symbolic and mathematical
Handbook of Epistemic Logic
Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Kooi · College Publications
676 sayfa · 2015
Kategori yok