PKK Library catalog › Results of search for 'au:"Nerode, Anil [ed.]"'

	1.	Logic programming and non - monotonic reasoning : proceedings of the first International Workshop by \| International Workshop ( 1991 : Washington, D.C.) \| Nerode, Anil, Ed. Material type: Book; Format: print ; Literary form: not fiction Description: vi, 288p.Publisher: Cambridge Mit Press 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 L829] (1). Place hold Add to cart (remove)
	2.	Recursion theory : proceedings... by Symposia in pure Mathematics of the American Mathematical Society New York 1982 \| Nerode, Anil [ed.] \| Shore, Richard A [ed.]. Description: vii,528p.Publisher: New York American Mathematical Society 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Am35r] (1). Place hold Add to cart (remove)

PKK Library