Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Refine your search

Your search returned 95 results.

Sort
Results
1.
Computational aspects of an order-sorted logic with term declarations by Series: Lecture notes in artificial intelligence; v 395
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.8 Sch349.
2.
Foundation of equational logic programming by Series: Lecture notes in artificial intelligence, v 353
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1989
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.115 H737.
3.
Sorts and types in artificial intelligence by Series: Lecture notes in artificial intelligence, v 418
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1990
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.3 B644.
4.
Methodology for uncertainty in knowledge based systems by Series: Lecture notes in artificial intelligence, 419
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1990
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.33 W416.
5.
Reasoning and revision in hybrid representation systems by Series: Lecture notes in artificial intelligence, v 422
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1990
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.333 N359.
6.
Termination proofs for logic programs by Series: Lecture notes in artificial intelligence, 446
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1990
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.115 P734.
7.
Logic of theory change by Series: Lecture notes in artificial intelligence, v 465
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.3 F959.
8.
Modeling spatial knowledge on a linguistic basis : theory prototype-integration by Series: Lecture notes in artificial intelligence, v 481
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.332 L269.
9.
Approach to knowledge base management by Series: Lecture notes in artificial intelligence, 513
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.33 M444.
10.
Text understanding in LIGOG : integrating computational linguistics and artificial intelligence by Series: Lecture notes in artificial intelligence, v 546
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.35 H582.
11.
Parallelism,learning,evolution : proceedings by Series: Lecture notes in artificial intelligence, v565
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.35 B395.
12.
Coordinating plans of autonomous agents by Series: Lecture notes in artificial intelligence, v 610
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1992
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.3 M378.
13.
Next generation of information systems : from data to knowledge by Series: Lecture notes in artificial intelligence, v 611
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1992
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.3 P213.
14.
Perspective of constrint-based reasoning an introductory tutorial by Series: Lecture notes in artificial intelligence, v 597
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1992
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.333 G936.
15.
Neural nets : a theory for brains and machines by Series: Lecture notes in artificial intelligence, v 638
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1992
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.32 R672.
16.
Dynamics of concepts : a connectionist model by Series: lecture notes in artificial intelligence, v 766
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1994
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.3 L863.
17.
Intelligent perceptual systems : new directions in computational perception by Series: Lecture notes in artificial intelligence, v 745
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.3 R642.
18.
Representing plans under uncertainty : a logic of time,chance, and action by Series: Lecture notes in artificial intelligence, 770
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1994
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.3 H126.
19.
Qualitative representation of spatial knowledge by Series: Lecture notes in artificial intelligence, 804
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1994
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.332 H557.
20.
Knowledge representation and reasoning under uncertainty by Series: Lecture notes in artificial intelligence, 808
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1994
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.332 M424.
Pages
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in