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

Your search returned 28 results. Subscribe to this search

|
21. LOGIC PROGRAMMING AND AUTOMATED REASONING

by Voronkov, A | .

Description: .Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).

22. NONCLASSICAL LOGICS AND INFORMATION PROCESSING

by Pearce, D | | Wansing, H | .

Description: .Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).

23. LEXICAL SEMANTICS AND KNOWLEDGE REPRESENTATION

by Pustejovsky, J | | Bergler, S | .

Description: .Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).

24. LOGICS IN AI

by Pearce, D | | Wagner, G | .

Description: .Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).

25. ANALOGICAL AND INDUCTIVE INFERENCE

by Jantke, K.P | .

Description: .Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).

26. TEMPORAL, SPATIAL, AND SPATIO-TEMPORAL DATA MINING

by Roddick,John F | Hornsby,Kathleen | John F Roddick,Kathleen No Hornsby.

Description: vi,163.Publisher: Springer-Verlag,Berlin c2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v2007] (1).

27. Expert systems in engineering : principles and applications

by International workshop Vienna, Austria September,1990 | Gottlob, G., series ed | Nejdl, W., series ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: ix, 260 p.Publisher: Berlin ; New York : Springer-Verlag, c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 l497 V. 462] (1).

28. Lecture notes in computer science and lecture notes in artificial intelligence [vol. 11103] : rough sets

by International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam August 20-24, 2018 | Nguyen, Hung Son [ed.] | Ha, Quang-Thuy [ed.] | Li, Tianrui [ed.] | Przybyła-Kasperek, Małgorzata [ed.].

Material type: visual material Visual material; Format: electronic ; Type of visual material: Description: CD-ROM.Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

Powered by Koha