Indraprastha Institute of Information Technology, Delhi catalog › Results of search for 'su:{Mathematical Logic and Formal Languages.} and au:Dix, Jürgen and itype:EB and au:Leite, João and itype:EB'

	1.	Computational Logic in Multi-Agent Systems [electronic resource] :4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers / by Dix, Jürgen [editor.] \| Leite, João [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	2.	Computational Logic in Multi-Agent Systems [electronic resource] :11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings / by Dix, Jürgen [editor.] \| Leite, João [editor.] \| Governatori, Guido [editor.] \| Jamroga, Wojtek [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)