|
|
|
Dynamic epistemic logic by Ditmarsch, Hans Van | Hoek, Wiebe Van der | Kooi, Barteld. Series: Synthese library ; 00337Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Netherlands ; Springer ; 2007Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DIT.
|
|
|
|
One hundred prisoners and a light bulb by Ditmarsch, Hans Van | kooi, Barteld. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New york ; Springer ; 2015Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DIT.
|
|
|
|
Handbook of Epistemic Logic by Ditmarsch, Hans Van, Ed | Halpern, Joseph Y | Van Der Hoek, Wiebe. Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: UK College Publications 2015Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 3 Call number: 510.6(02) DIT.
|