|
|
|
|
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.
|
|
|
|
|
Logics in Artificial Intelligence [electronic resource] : 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings / edited by Michael Fisher, Wiebe Hoek, Boris Konev, Alexei Lisitsa. by Fisher, Michael [editor.] | Hoek, Wiebe [editor.] | Konev, Boris [editor.] | Lisitsa, Alexei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4160Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
SOFSEM 2007: Theory and Practice of Computer Science [electronic resource] : 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings / edited by Jan Leeuwen, Giuseppe F. Italiano, Wiebe Hoek, Christoph Meinel, Harald Sack, František Plášil. by Leeuwen, Jan [editor.] | Italiano, Giuseppe F [editor.] | Hoek, Wiebe [editor.] | Meinel, Christoph [editor.] | Sack, Harald [editor.] | Plášil, František [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4362Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Multiagent System Technologies [electronic resource] : 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings / edited by Lars Braubach, Wiebe Hoek, Paolo Petta, Alexander Pokahr. by Braubach, Lars [editor.] | Hoek, Wiebe [editor.] | Petta, Paolo [editor.] | Pokahr, Alexander [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5774Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Logic and the Foundations of Game and Decision Theory – LOFT 8 [electronic resource] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers / edited by Giacomo Bonanno, Benedikt Löwe, Wiebe Hoek. by Bonanno, Giacomo [editor.] | Löwe, Benedikt [editor.] | Hoek, Wiebe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6006Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Logic, Rationality, and Interaction [electronic resource] : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang. by van der Hoek, Wiebe [editor.] | Holliday, Wesley H [editor.] | Wang, Wen-fang [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9394 | Lecture Notes in Computer Science ; 9394Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online 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.
|
