Indraprastha Institute of Information Technology, Delhi catalog › Results of search for 'su:{Mathematical Logic and Formal Languages.} and au:Dix, Jürgen and su-to:Mathematical Logic and Formal Languages and au:Furbach, Ulrich'

	1.	Logic Programming And Nonmonotonic Reasoning [electronic resource] :4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings / by Dix, Jürgen [editor.] \| Furbach, Ulrich [editor.] \| Nerode, Anil [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	2.	Logics in Artificial Intelligence [electronic resource] :European Workshop, JELIA’ 98 Dagstuhl, Germany, October 12–15, 1998 Proceedings / by Dix, Jürgen [editor.] \| Cerro, Luís Fariñas del [editor.] \| Furbach, Ulrich [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)