Your search returned 123 results.

Not what you expected? Check for suggestions
E-BOOKS
Recent Advances in Constraints [electronic resource] : Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers / edited by Barry O’Sullivan.

by O’Sullivan, Barry [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 2627Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Fundamentals of Artificial Intelligence Research [electronic resource] : International Workshop FAIR '91 Smolenice, Czechoslovakia, September 8–13, 1991 Proceedings / edited by Philippe Jorrand, Jozef Kelemen.

by Jorrand, Philippe [editor.] | Kelemen, Jozef [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 535Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Text Understanding in LILOG [electronic resource] : Integrating Computational Linguistics and Artificial Intelligence Final Report on the IBM Germany LILOG-Project / edited by Otthein Herzog, Claus-Rainer Rollinger.

by Herzog, Otthein [editor.] | Rollinger, Claus-Rainer [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 546Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Logic for Programming and Automated Reasoning [electronic resource] : 7th International Conference, LPAR 2000 Reunion Island, France, November 6–10, 2000 Proceedings / edited by Michel Parigot, Andrei Voronkov.

by Parigot, Michel [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 1955Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Algorithmic Learning for Knowledge-Based Systems [electronic resource] : GOSLER Final Report / edited by Klaus P. Jantke, Steffen Lange.

by Jantke, Klaus P [editor.] | Lange, Steffen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 961Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Fuzzy Sets and Systems — IFSA 2003 [electronic resource] : 10th International Fuzzy Systems Association World Congress Istanbul, Turkey, June 30 – July 2, 2003 Proceedings / edited by Taner Bilgiç, Bernard Baets, Okyay Kaynak.

by Bilgiç, Taner [editor.] | Baets, Bernard [editor.] | Kaynak, Okyay [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 2715Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Machine Learning and Data Mining in Pattern Recognition [electronic resource] : Third International Conference, MLDM 2003 Leipzig, Germany, July 5–7, 2003 Proceedings / edited by Petra Perner, Azriel Rosenfeld.

by Perner, Petra [editor.] | Rosenfeld, Azriel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 2734Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Principles of Data Mining and Knowledge Discovery [electronic resource] : 6th European Conference, PKDD 2002 Helsinki, Finland, August 19–23, 2002 Proceedings / edited by Tapio Elomaa, Heikki Mannila, Hannu Toivonen.

by Elomaa, Tapio [editor.] | Mannila, Heikki [editor.] | Toivonen, Hannu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 2431Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Logic Programming '89 [electronic resource] : Proceedings of the 8th Conference Tokyo, Japan, July 12–14, 1989 / edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki.

by Furukawa, Koichi [editor.] | Tanaka, Hozumi [editor.] | Fujisaki, Tetsunosuke [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 485Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Logic Programming '88 [electronic resource] : Proceedings of the 7th Conference Tokyo, Japan, April 11–14, 1988 / edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki.

by Furukawa, Koichi [editor.] | Tanaka, Hozumi [editor.] | Fujisaki, Tetsunosuke [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 383Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Parallelism, Learning, Evolution [electronic resource] : Workshop on Evolutionary Models and Strategies Neubiberg, Germany, March 10–11, 1989 Workshop on Parallel Processing: Logic, Organization, and Technology — WOPPLOT 89 Wildbad Kreuth, Germany, July 24–28, 1989 Proceedings / edited by J. D. Becker, I. Eisele, F. W. Mündemann.

by Becker, J. D [editor.] | Eisele, I [editor.] | Mündemann, F. W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 565Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
A Resolution Principle for a Logic with Restricted Quantifiers [electronic resource] / edited by H. -J. Bürckert.

by Bürckert, H. -J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 568Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Algorithmic Learning Theory [electronic resource] : 10th International Conference, ALT’99 Tokyo, Japan, December 6–8, 1999 Proceedings / edited by Osamu Watanabe, Takashi Yokomori.

by Watanabe, Osamu [editor.] | Yokomori, Takashi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1720Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Computational Aspects of an Order-Sorted Logic with Term Declarations [electronic resource] / edited by M. Schmidt-Schauß.

by Schmidt-Schauß, M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 395Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Sorts and Types in Artificial Intelligence [electronic resource] : Workshop, Eringerfeld, FRG, April 24–26, 1989 Proceedings / edited by Karl Hans Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger.

by Bläsius, Karl Hans [editor.] | Hedtstück, Ulrich [editor.] | Rollinger, Claus-Rainer [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 418Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Logics in AI [electronic resource] : European Workshop JELIA '90 Amsterdam, The Netherlands, September 10–14, 1990 Proceedings / edited by J. Eijck.

by Eijck, J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 478Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Logic Programming [electronic resource] : First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11–16, 1991 Proceedings / edited by A. Voronkov.

by Voronkov, A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 592Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Termination Proofs for Logic Programs [electronic resource] / by Lutz Plümer.

by Plümer, Lutz [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 446Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
10th International Conference on Automated Deduction [electronic resource] : Kaiserslautern, FRG, July 24–27, 1990 Proceedings / edited by Mark E. Stickel.

by Stickel, Mark E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 449Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Automated Deduction—CADE-11 [electronic resource] : 11th International Conference on Automated Deduction Saratoga Springs, NY, USA, June 15–18, 1992 Proceedings / edited by Deepak Kapur.

by Kapur, Deepak [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 607Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha