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 se:Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, and su-to:Programming Techniques'

	1.	Non-Monotonic Extensions of Logic Programming [electronic resource] :Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers / by Dix, Jürgen [editor.] \| Pereira, Luís Moniz [editor.] \| Przymusinski, Teodor C [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.	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)