|
|
|
|
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.
|
|
|
|
|
Tools for Teaching Logic [electronic resource] : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings / edited by Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano. by Blackburn, Patrick [editor.] | Ditmarsch, Hans [editor.] | Manzano, María [editor.] | Soler-Toscano, Fernando [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6680Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Logic, Rationality, and Interaction [electronic resource] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / edited by Hans Ditmarsch, Jérôme Lang, Shier Ju. by Ditmarsch, Hans [editor.] | Lang, Jérôme [editor.] | Ju, Shier [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6953Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
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.
|
