Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 3 results. Subscribe to this search

|
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 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).

2. Logic programming : Proceedings of the eighth international conference

by | Furukawa, Koichi, Ed.

Material type: book Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 L829] (1).

3. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; V.3419 : RECENT ADVANCES IN CONSTRAINTS

by Faltings,Boi.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,215.Publisher: Springer-Verlag, Berlin 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).

Powered by Koha