Your search returned 2455 results.

Not what you expected? Check for suggestions
BOOKS
Tenth International Conference on Automated Deduction Proceedings, Kaiserslautern, FRG, 1990

by Stickel, M E. Ed.

Series: Lecture notes in artificial intelligence ; 00449Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 11 Call number: 681 LNCS.

BOOKS
Logic Programming '88 Proceedings, 7th Conf., Tokyo, Japan, 1988

by Furukawa, K. Ed | Tanaka, H. Ed | Fujisaki, T. Ed.

Series: Lecture notes in artificial intelligence ; 00383Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 9 Call number: 681 LNCS.

BOOKS
Knowledge Representation and Organization in Machine Learning

by Morik, K. Ed.

Series: Lecture notes in artificial intelligence ; 00347Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 7 Call number: 681 LNCS.

BOOKS
Non-Monotonic Reasoning Proceedings, 2nd Int.Workshop, Grassau, FRG, 1988

by Reinfrank, M. et al Eds.

Series: Lecture notes in artificial intelligence ; 00346Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 7 Call number: 681 LNCS.

BOOKS
Advanced Topics in Artificial Intelligence, Oslo, Norway, 1987

by Nossum, Rolf T. Ed.

Series: Lecture notes in artificial intelligence ; 00345Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 7 Call number: 681 LNCS.

BOOKS
Analogical and Inductive Inference Proceedings, Int.Workshop All '89, GDR, 1989

by Jantke, K P. Ed.

Series: Lecture notes in artificial intelligence ; 00397Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 9 Call number: 681 LNCS.

BOOKS
Al '88 Proceedings, 2nd Australian JAI Conf., Adelaide, 1988

by Barter, C J. Ed | Brooks, M J. Ed.

Series: Lecture notes in artificial intelligence ; 00406Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS.

BOOKS
Expert Systems in Engineering, Principles and Applications Proceedings, Int.Workshop, Vienna, Austria, 1990

by Gottlob, G. Ed | Nejdl, W, Ed.

Series: Lecture notes in artificial intelligence ; 00462Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 12 Call number: 681 LNCS.

BOOKS
Methodology for Uncertainty in Knowledge-Based Systems

by Weichselberger, Kurt | Pohlmann, Sigrid.

Series: Lecture notes in artificial intelligence ; 00419Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS.

BOOKS
Current Trends in SNePS - Semantic Network Processing System Proceedings, First Annual Workshop, Buffalo, 1989

by Kumar, D. Ed.

Series: Lecture notes in artificial intelligence ; 00437Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 11 Call number: 681 LNCS.

BOOKS
Logic of Theory Change Proceedings, Workshop, FRG, 1989

by Fuhrmann, A. Ed | Morreau, M. Ed.

Series: Lecture notes in artificial intelligence ; 00465Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 12 Call number: 681 LNCS.

BOOKS
Sorts and Types in Artificial Intelligence Proceedings, Workshop, FRG, 1989

by Blasius, K H. Ed | Hedtstuck, U. Ed | Rollinger, C R. Ed.

Series: Lecture notes in artificial intelligence ; 00418Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS.

BOOKS
TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages

by Jones, Neil D | Muchnick, Steven S.

Series: Lecture notes in computer science ; 00066Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1978Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS.

BOOKS
Mathematical Foundations of computer Science, 1978 Proceedings, 7th Symp., Poland, 1978

by Winkowski, J. Ed.

Series: Lecture notes in computer science ; 00064Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1978Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS.

BOOKS
Codes for Boundary-Value Problems in Ordinary Differential Equations Proceedings, Working Conference, Houston, 1978

by Childs, B. et al Eds.

Series: Lecture notes in computer science ; 00076Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1978Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS.

BOOKS
Program Construction International Summer School, Marktoberdorf, 1978

by Bauer, F L. et al.

Series: Lecture notes in computer science ; 00069Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1979Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS.

BOOKS
Automata, Languages and Programming Sixth Colloquium, Austria, 1979

by Maurer, Hermann A. Ed.

Series: Lecture notes in computer science ; 00071Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1979Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS.

BOOKS
Information Systems Methodology Proceedings, 2nd Conf., ECI, Venice, 1978

by Bracchi, G. Ed | Lockemann, P C. Ed.

Series: Lecture notes in computer science ; 00065Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1978Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS.

BOOKS
Graph-Grammars and their Application to Computer Science and Biology International Workshop, Bad Honnef, 1978

by Claus, Volker. Ed | Ehrig, Hartmut. Ed | Rozenberg, Grzegorz. Ed.

Series: Lecture notes in computer science ; 00073Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1979Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS.

BOOKS
Mathematical Studies of Information Processing Proceedings, Int.Conf., Kyoto, 1978

by Blum, E K. Ed | Paul, M. Ed | Takasu, S. Ed.

Series: Lecture notes in computer science ; 00075Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1979Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha