|
101.
|
MACHINES WHO THINK
by Mccorduck,Pamela. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,375.Publisher: Freeman, San Francisco 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53909 M137] (1).
|
|
102.
|
ARTIFICIAL INTELLIGENCE, TOOLS TECHNIQUES, AND APPLICATIONS
by O`Shea, Tim [ed.] | Eisenstadt, Marc [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 497p.Publisher: New York Harper & Row 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Ar78] (1).
|
|
103.
|
GWAI-83
: proceedings...
by | German Workshop on Artificial Intelligence Dassel/Solling 1983 | Neumann, Bernd, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 240p.Publisher: Berlin Springer 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 G317g] (1).
|
|
104.
|
Artificial intelligence (v.2)
by | International Joint Conference on Artificial Intelligence Tokyo 1979. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 610-1131p.Publisher: Japan International Joint Conference On Artificial Intelligence 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 In8a] (1).
|
|
105.
|
MECHANICAL INTELLIGENCE
by Ince, D. C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix,227.Publisher: Amsterdam North-Holland 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 M464] (1).
|
|
106.
|
TASK-DITECTED SENSOR FUSION AND PLANNING
by Hager, Gregory D. Material type: Book Description: xvii,254.Publisher: Boston Kluwer Academic Pub. c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.892 H122t] (1).
|
|
107.
|
VLSI for artificial intelligence
by | Delgado--Frias, Jose G., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 274p.Publisher: Boston Kluwer Academic 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 V62] (1).
|
|
108.
|
MATHEMATICAL METHODS FOR ARTIFICIAL INTELLIGENCE AND AUTONOMOUS SYSTEM
by Dougherty, Edward R | Giardina, Dougherty R. Material type: Book Description: xv,446.Publisher: Englewood Cliffs Prentice Hall c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 D745m] (1).
|
|
109.
|
A deduction model of belief
by Konolige, Kurt. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: London Pitman 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 K837d] (1).
|
|
110.
|
Building large knowledge-based systems
: representation and inference in the Cyc project
by Lenat, Douglas B | Guha, R. V. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix, 372p.Publisher: Reading, Massachusetts Addison-Wesley Publishing 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L545b] (1).
|
|
111.
|
CONNECTIONIST ROBOT MOTION PLANNING
by Mel, Bartlett W. Material type: Book Description: xv,165.Publisher: Boston Academic Press c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.892 M48c] (1).
|
|
112.
|
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; Literary form: Description: 704p.Publisher: Amsterdam IOS Press 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 In3m] (1).
|
|
113.
|
Readings in uncertain reasoning
by Shafer, Glenn [ed.] | Pearl, Judea [ed.]. Material type: 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).
|
|
114.
|
READINGS IN QUALITATIVE REASONING ABOUT PHYSICAL SYSTEMS
by Weld, Daniel S | Dekleer, Johan. Material type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 R228q] (1).
|
|
115.
|
THEORETICAL ASPECTS OF REASONING ABOUT KNOWLEDGE
by Parikh, Rohit. Material type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 T343] (1).
|
|
116.
|
Representations of commonsense knowledge
by Davis, Ernest. Material type: 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).
|
|
117.
|
Readings in planning
by | Allen, James, Ed. Material type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 R228p] (1).
|
|
118.
|
PARALLELIZATION IN INFERENCE SYSTEMS
by Fronhofer, B | Wrightson, G. Material type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
119.
|
A PERSPECTIVE OF CONSTRAINT-BASED REASONING
by Guesgen, H. W | Hertzberg, J. Material type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
120.
|
The foundations of artifical intelligence
: a sourcebook
by Partridge, Derek [ed.] | Wilks, Yorick [ed.]. Material type: 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).
|