|
|
21.
|
COMPUTATIONAL MODELS OF DISCOURSE
by Brady, Michael | Berwick, C. Robert. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xxiii,403.Publisher: Cambridge The Mit Press 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 C739] (1).
|
|
|
22.
|
META-LEVEL INFERENCE
by Silver, Bernard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,222.Publisher: Amsterdam North-Halland 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Si39m] (1).
|
|
|
23.
|
CATALOGUE OF ARTIFICIAL INTELLIGENCE TOOLS
by Bundy, Alan [ed.]. Edition: 2nd rev.Material type: Book; Format:
print
; Literary form:
not fiction
Description: 168p.Publisher: Berlin Springer-Verlag 1986Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.5350216 C28 ] (2).
|
|
|
24.
|
EMPIRICAL ANALYSIS FOR EXPERT SYSTEMS
by Politakis, Peter G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 187p.Publisher: Boston Pitman Advanced Publishing Program. 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 P759e] (1).
|
|
|
25.
|
SUBJECTIVE UNDERSTANDING
by Carbonell, Jaime Guillermo. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiii,285.Publisher: Ann Arbor, Mich. Umi Press 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 300.2854 C177s] (1).
|
|
|
26.
|
SUBJECTIVE UNDERSTANDING
by Carbonell, Jaime Guillermo. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiii,285.Publisher: Ann Arbor, Mich. Umi Press 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 300.2854 C177s] (1).
|
|
|
27.
|
KNOWLEDGE-BASED TUTORING
by Clancey, William J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 377.Publisher: Cambridge Mit Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 371.39445 C529k] (1).
|
|
|
28.
|
AUTOMATIC NATURAL LANGUAGE PARSING
by Jones, Karen Sparck [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 208.Publisher: Chichester Ellis Horwood 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 418 Au82] (1).
|
|
|
29.
|
A theory of syntactic recognition for natural language
by Marcus, Michell P. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 335p.Publisher: Cambridge The MIT Press 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 410.285 M334t] (1).
|
|
|
30.
|
COMPUTER INTERPRETATION OF NATURAL LANGUAGE DESCRIPTIONS
by Mellish, C. S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 182.Publisher: Chichester Ellis Horwood 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 418.02 M489c] (1).
|
|
|
31.
|
TURTLE GEOMETRY
by Abelson, Harold | Disessa, Andrea. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx,477.Publisher: Cambridge Mit Press 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 516.0078 Ab34t] (1).
|
|
|
32.
|
LOGIC FOR PROBLEM SOLVING
by Kowalski, Robert. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 287.Publisher: New York North-Holland 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.7 K849L] (1).
|
|
|
33.
|
LOGIC PROGRAMMING AND ITS APPLICATIONS
by Van Caneghem, Michel | Warren, David H. D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,318.Publisher: Norwood Ablex Pub. 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L829v] (1).
|
|
|
34.
|
FOUNDATIONS OF LOGIC PROGRAMMING
by Lloyd, J.W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,124.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L777f] (1).
|
|
|
35.
|
Automatic correction and improvement of programs
by Wertz, H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 196p.Publisher: Chichester Ellis Horwood 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 W499a] (1).
|
|
|
36.
|
INQUIRY DRIVEN VISION SYSTEM BASED ON VISUAL AND CONCEPTUAL HIERARCHIES
by Rosenthal, David A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,198.Publisher: Michigan Umi Research 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3819598 R727i] (1).
|
|
|
37.
|
EXPERT SYSTEM APPLICATIONS
by Bolc l. Material type: Book Description: vii,471.Publisher: Berlin Springer-Verlag c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 Ex71c] (1).
|
|
|
38.
|
EXPERT SYSTEMS IN ENGINEERING
by Pham, D. T. Material type: Book Description: 480.Publisher: Bedford Ifs Pub. c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 Ex71p] (1).
|
|
|
39.
|
DESIGNING EFFICIENT ALGORITHMS FOR PARALLEL COMPUTERS
by Quinn, Michael J. Material type: Book Description: xvi,288.Publisher: New York Mcgraw-Hill c1987Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 Qu42d] (1).
|
|
|
40.
|
Concurrency control in distributed database systems
by Cellary, Wojciech | Gelenbe, Erol | Morzy, Tadeusz. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 349p.Publisher: Amsterdam North-Holland 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C33c] (1).
|
