IMSc Library catalog › Results of search for 'se,phr:"Lecture notes in artificial intelligence"'

			No cover image available Instantiation theory by Williams, J.G. Series: Lecture notes in artificial intelligence ; 00518Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 13 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Termination proofs for logic programs by Plumer, Lutz. Series: Lecture notes in artificial intelligence ; 00446Material type: 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. Place hold Log in to add tags
			No cover image available Logics in AI : European workshop JELIA '90, Amsterdam, The Netherlands,September 1990, Proceedings by Van Eijick, J.,Ed. Series: Lecture notes in artificial intelligence ; 00478Material type: Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 12 Call number: 681 LNCS. Place hold Log in to add tags
			Automated Deduction - CADE 11 11th International Conference Proc.,Saratoga Springs,NY,1992 by Kapur,D. Ed. Series: Lecture notes in artificial intelligence ; 00607Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Advanced Topics in Artificial Intelligence International Summer School Proc.,Prague, 1992 by Marik, V. et al Eds. Series: Lecture notes in artificial intelligence ; 00617Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Nonclassical Logics and Information Processing International Workshop Proc., Berlin, 1990 by Pearce, D. Ed \| Wansing, H. Ed. Series: Lecture notes in artificial intelligence ; 00619Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Logics in AI European Workshop Proc. JELIA '92 - Berlin, 1992 by Pearce, D. Ed \| Wagner, G. Ed. Series: Lecture notes in artificial intelligence ; 00633Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS. Place hold Log in to add tags
			Logic of Information Structures by Wansing, Heinrich. Series: Lecture notes in artificial intelligence ; 00681Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			Computational Learning Theory Proceedings, Second European Conference, Spain, 1995 by Vitanyi, Paul. Ed. Series: Lecture notes in artificial intelligence ; 00904Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Computational Aspects of an Order-Sorted Logic with Term Declarations by Schmidt-SchauB, M. Series: Lecture notes in artificial intelligence ; 00395Material type: 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. Place hold Log in to add tags
			Fourth Portuguese Conference on Artificial Intelligence, Lisbon, Sept. 1989 Proceedings by Martins, J P. Ed \| Morgado, E M. Ed. Series: Lecture notes in artificial intelligence ; 00390Material type: 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. Place hold Log in to add tags
			Artificial Intelligence in Higher Education, CEPES-UNESCO International Symposium, Prague, Oct. 1989 Proceedings by Marik, V. Ed \| Stepankova, O. Ed \| Zdrahal, Z. Ed. Series: Lecture notes in artificial intelligence ; 00451Material type: 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. Place hold Log in to add tags
			Natural Language and Logic Int.Scientific Symp., Hamburg, 1989, Proceedings by Studer, R. Ed. Series: Lecture notes in artificial intelligence ; 00459Material type: 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. Place hold Log in to add tags
			Knowledge based Computer Systems Proceedings, Int.Conf., Bombay, India, 1989 by Ramani, S. Ed \| Chandrasekar, R. Ed \| Anjaneyulu, K S R. Ed. Series: Lecture notes in artificial intelligence ; 00444Material type: 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. Place hold Log in to add tags
			Tenth International Conference on Automated Deduction Proceedings, Kaiserslautern, FRG, 1990 by Stickel, M E. Ed. Series: Lecture notes in artificial intelligence ; 00449Material type: 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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			Knowledge Representation and Organization in Machine Learning by Morik, K. Ed. Series: Lecture notes in artificial intelligence ; 00347Material type: 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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			Advanced Topics in Artificial Intelligence, Oslo, Norway, 1987 by Nossum, Rolf T. Ed. Series: Lecture notes in artificial intelligence ; 00345Material type: 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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 568 results.