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

Refine your search

Your search returned 158 results. Subscribe to this search

|
101. INDUSTRIAL AND ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND EXPERT SYSTEMS

by Belli, F | Radermacher, F.J | .

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

102. Lecture notes in artifcial intelliegence : Automated deduction -- cade-11

by Kapur, Deepak [ed.].

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

103. LOGIC PROGRAMMING IN ACTION

by Comyn, G | Fuchs, N. E | .

Description: x,324.Publisher: Berlin Springer - Verlag 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).

104. COORDINATING PLANS OF AUTONOMOUS AGENTS

by Martial, F. Von.

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

105. ADVANCED TOPICS IN ARTIFICIAL INTELLIGENCE

by Marik, V., Stepankova, O | | Trappl, R | .

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

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

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

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

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

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

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

112. Language and meaning in cognitive science : cognitive issues and semantic theory

by | Toribio, Josefa [ed.].

Description: xii, 300p.Publisher: New York Routledge 1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 153 L269] (1).

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

114. Scripts, plans, goals, and understanding : an inquiry into human knowledge structures

by Schank, Roger C | Abelson, Robert P.

Material type: book Book; Format: print ; Literary form: not fiction Description: 248 p.Publisher: New Jersey distributed by the Halsted Press Division of John Wiley and Sons, 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 153.4 Sch16s] (1).

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

116. A concise introduction to multiagent systems and distributed artificial intelligence : [electronic resource] /

by Vlassis, Nikos.

Edition: 1st ed.Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 electronic text (xii, 71 p. : ill.) : digital file.Publisher: San Rafael, Calif (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, 2007Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

117. Intelligent autonomous robotics : a robot soccer case study / : [electronic resource] :

by Stone, Peter 1971-.

Edition: 1st ed.Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 electronic text (x, 155 p. : ill.) : digital file.Publisher: San Rafael, Calif (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, 2007Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

118. Action programming languages : [electronic resource] /

by Thielscher, Michael.

Edition: 1st ed.Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 electronic text (viii, 91 p. : ill.) : digital file.Publisher: San Rafael, Calif (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, 2008Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

119. Essentials of game theory : a concise, multidisciplinary introduction / : [electronic resource] :

by Leyton-Brown, Kevin 1975- | Shoham, Yoav.

Edition: 1st ed.Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 electronic text (xvi, 88 p. : ill.) : digital file.Publisher: San Rafael, Calif (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, 2008Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

120. Representation discovery using harmonic analysis : [electronic resource] /

by Mahadevan, Sridhar 1960-.

Edition: 1st ed.Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 electronic text (xii, 147 p. : ill.) : digital file.Publisher: San Rafael, Calif (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, 2008Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Powered by Koha