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

Your search returned 1306 results. Subscribe to this search

|
161. SATELLITE COMMUNICATIONS SYSTEMS

by Maral, G | Bousquet, M.

Edition: 2ndMaterial type: book Book Description: xvi,688.Publisher: Chichester John Wiley c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.380422 M324s2] (1).

162. ARTIFICIAL RECHARGE OF GROUNDWATER

by Asano, Takashi.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv,767.Publisher: Boston Butterworth 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 627.56 Ar78] (1).

163. CONNECTIONIST ROBOT MOTION PLANNING

by Mel, Bartlett W.

Material type: book Book Description: xv,165.Publisher: Boston Academic Press c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.892 M48c] (1).

164. NEW DIAMOND SCIENCE AND TECHNOLOGY

by Messier, Russel.

Material type: book Book Description: xx,1128.Publisher: Pittsburgh Materials Research Society c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 666.88 N42d] (1).

165. Information modelling and knowledge bases III : foundations, theory and applications

by Ohsuga, Setsuo [ed.] | Kangassalo, Hannu [ed.] | Hori, Koichi [ed.] | Jaakkola, Hannu [ed.].

Material type: book Book; Literary form: Description: 704p.Publisher: Amsterdam IOS Press 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 In3m] (1).

166. Readings in uncertain reasoning

by Shafer, Glenn [ed.] | Pearl, Judea [ed.].

Material type: book Book; Literary form: Description: x, 768p.Publisher: San Mateo, California Morgan Kaufmann Publishers 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 R228] (1).

167. READINGS IN QUALITATIVE REASONING ABOUT PHYSICAL SYSTEMS

by Weld, Daniel S | Dekleer, Johan.

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

168. THEORETICAL ASPECTS OF REASONING ABOUT KNOWLEDGE

by Parikh, Rohit.

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

169. Representations of commonsense knowledge

by Davis, Ernest.

Material type: book Book; Literary form: Description: xxiii, 515p.Publisher: San Mateo, California Morgan Kaufman Publishers 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 D292r] (1).

170. Readings in planning

by | Allen, James, Ed.

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

171. PARALLELIZATION IN INFERENCE SYSTEMS

by Fronhofer, B | Wrightson, G.

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

172. A PERSPECTIVE OF CONSTRAINT-BASED REASONING

by Guesgen, H. W | Hertzberg, J.

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

173. The foundations of artifical intelligence : a sourcebook

by Partridge, Derek [ed.] | Wilks, Yorick [ed.].

Material type: book Book; Literary form: Description: 497p.Publisher: Cambridge Cambridge University Press 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 F825] (1).

174. HOW TO BUILD A PERSON

by Pollock, John L.

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

175. NEURAL NETS

by Rocha, A. F.

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

176. PROGRAMMING PARADIGMS IN LISP

by Sangal, Rajiv.

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

177. Programming paradigms in LISP

by Sangal, Rajeev.

Material type: book Book; Literary form: Description: 292p.Publisher: New York McGraw Hill 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.133 Sa58p] (3).

178. THE MATHEMATICS OF INHERITANCE SYSTEMS

by Touretzky, David S.

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

179. UNCERTAINTY IN ARTIFICIAL INTELLIGENCE 4

by Shachter, Rossd[Etal.].

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

180. ESSENTIALS OF ARTIFICIAL INTELLIGENCE

by Ginsberg,Matt.

Material type: book Book Description: xiii,430.Publisher: Morgan Kaufmann Pub., San Francisco c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 G435E] (1).

Powered by Koha