|
|
41.
|
DESIGNING EFFICIENT ALGORITHMS FOR PARALLEL COMPUTERS
by Quinn, Michael J. Material type:  Book Description: xvi,288.Publisher: New York Mcgraw-Hill c1987Availability: No items available Checked out (1).
|
|
|
42.
|
RESOLUTION METHODS FOR THE DECISION PROBLEM
by Fermuller,C. Material type: Book Description: vii 206.Publisher: Springer-Verlag, Berlin c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
|
43.
|
THE LOGIC OF INFORMATION STRUCTURES
by Wansing,Heinrich. Material type: Book Description: ix,158.Publisher: Springer-Verlag, Berlin c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
|
44.
|
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).
|
|
|
45.
|
VECTOR MODELS FOR DATA-PARALLEL COMPUTING
by Blelloch, Guy E. Material type: Book Description: xvi,255.Publisher: Cambridge Mit Press c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.35 B616v] (1).
|
|
|
46.
|
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).
|
|
|
47.
|
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).
|
|
|
48.
|
NEURAL NETS
by Rocha, A. F. Material type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
|
49.
|
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 loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 Qu42d] (1).
|
|
|
50.
|
A computational model of metaphor interpretation
by Martin, James H. Material type: Book; Literary form: Description: xxiii, 229p.Publisher: New York Academic Publishers 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 M364c] (1).
|
|
|
51.
|
PARALLEL IMAGE ANALYSIS
: edited by S. Miguet, A. Montanvert and P. S. P. Wang
by Miguet, S. [ed.] | Montanvert, A. [ed.] | Wang, P. S. P. [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v, 134p.Publisher: Singapore World Scientific 1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.4 P212] (1).
|
|
|
52.
|
AUTOMATIC REFINEMENT OF EXPERT SYSTEM KNOWLEDGE BASES
by Ginsberg, Allen. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 176.Publisher: London Pitman 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 G435] (1).
|
|
|
53.
|
COMPUTATION OF LANGUAGE
by Hausser, Roland. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,425.Publisher: Berlin Springer-Verlag 1989Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.535 H296c] (1).
|
|
|
54.
|
LOGIC GRAMMARS
by Abramson, Harvey | Dahl, Veronica. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,234.Publisher: New York Springer-Verlag 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Ab83L] (1).
|
|
|
55.
|
ARTIFICIAL INTELLIGENCE PROGRAMMING ENVIRONMENTS
by Hawley, Robert. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 214.Publisher: Chichester Ellis Horwood 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Ar77] (1).
|
|
|
56.
|
AI IN THE 1980S AND BEYOND
by Grimson, W. Eric L | Patil, Ramesh S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 374.Publisher: Cambridge Mit Press 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Ar78] (1).
|
|
|
57.
|
Blackboard systems
by Engelmore, Robert [ed.] | Margan, Tony [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 602p.Publisher: Wokingham Addison-Wesley 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 B562] (1).
|
|
|
58.
|
SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE-89
by Jaakkola, H | Linnainma, S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,960.Publisher: Amsterdam Ios 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Sc63] (1).
|
|
|
59.
|
KNOWLEDGE ACQUISITION
by Brule, James F. Material type: Book Description: xxvii,253.Publisher: New York Mcgraw-Hill c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 B834k] (1).
|
|
|
60.
|
MACHINE AND HUMAN LEARNING
: ADVANCES IN EUROPEAN RESEARCH
by Kodratoff, Yves, Ed. and Hutchinson, Alan, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 332.Publisher: London Kogan Page 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 M184] (1).
|
