Your search returned 568 results.

Not what you expected? Check for suggestions
E-BOOKS
Parallelization in Inference Systems [electronic resource] : International Workshop Dagstuhl Castle, Germany, December 17–18, 1990 Proceedings / edited by B. Fronhöfer, G. Wrightson.

by Fronhöfer, B [editor.] | Wrightson, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 590Source: 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
Current Trends in SNePS — Semantic Network Processing System [electronic resource] : First Annual SNePS Workshop Buffalo, NY, November 13, 1989 Proceedings / edited by D. Kumar.

by Kumar, D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 437Source: 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
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
Extensions of Logic Programming [electronic resource] : Second International Workshop, ELP '91 Stockholm, Sweden, January 27–29, 1991 Proceedings / edited by L. -H. Eriksson, L. Hallnäs, P. Schroeder-Heister.

by Eriksson, L. -H [editor.] | Hallnäs, L [editor.] | Schroeder-Heister, P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 596Source: 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
Knowledge Based Computer Systems [electronic resource] : International Conference KBCS '89 Bombay, India, December 11–13, 1989 Proceedings / edited by S. Ramani, R. Chandrasekar, K. S. R. Anjaneyulu.

by Ramani, S [editor.] | Chandrasekar, R [editor.] | Anjaneyulu, K. S. R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 444Source: 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
Artificial Intelligence in Higher Education [electronic resource] : CEPES-UNESCO International Symposium Prague, CSFR, October 23–25, 1989 Proceedings / edited by Vladimir Mařík, Olga Štěpánková, Zdeněk Zdráhal.

by Mařík, Vladimir [editor.] | Štěpánková, Olga [editor.] | Zdráhal, Zdeněk [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 451Source: 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
A Perspective of Constraint-Based Reasoning [electronic resource] : An Introductory Tutorial / edited by Hans Werner Guesgen, Joachim Hertzberg.

by Guesgen, Hans Werner [editor.] | Hertzberg, Joachim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 597Source: 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
Current Developments in Knowledge Acquisition — EKAW '92 [electronic resource] : 6th European Knowledge Acquisition Workshop Heidelberg and Kaiserslautern, Germany, May 18–22, 1992 Proceedings / edited by Thomas Wetter, Klaus-Dieter Althoff, John Boose, Brian R. Gaines, Marc Linster, Franz Schmalhofer.

by Wetter, Thomas [editor.] | Althoff, Klaus-Dieter [editor.] | Boose, John [editor.] | Gaines, Brian R [editor.] | Linster, Marc [editor.] | Schmalhofer, Franz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 599Source: 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
Industrial and Engineering Applications of Artificial Intelligence and Expert Systems [electronic resource] : 5th International Conference, IEA/AIE - 92 Paderborn, Germany, June 9–12, 1992 Proceedings / edited by Fevzi Belli, Franz Josef Radermacher.

by Belli, Fevzi [editor.] | Radermacher, Franz Josef [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 604Source: 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
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
E-BOOKS
Coordinating Plans of Autonomous Agents [electronic resource] / by Frank Martial.

by Martial, Frank [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 610Source: 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
The Next Generation of Information Systems: From Data to Knowledge [electronic resource] : A Selection of Papers Presented at Two IJCAI-91 Workshops, Sydney, Australia, August 26, 1991 / edited by Michael P. Papazoglou, John Zeleznikow.

by Papazoglou, Michael P [editor.] | Zeleznikow, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 611Source: 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
Advanced Topics in Artificial Intelligence [electronic resource] : International Summer School Prague, Czechoslovakia, July 6–17, 1992 Proceedings / edited by Vladimír Mřrík, Olga Štěpánková, Rorbert Trappl.

by Mřrík, Vladimír [editor.] | Štěpánková, Olga [editor.] | Trappl, Rorbert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 617Source: 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
Logic Programming and Automated Reasoning [electronic resource] : International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings / edited by Andrei Voronkov.

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

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 624Source: 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
Nonclassical Logics and Information Processing [electronic resource] : International Workshop Berlin, Germany, November 9–10, 1990 Proceedings / edited by David Pearce, Heinrich Wansing.

by Pearce, David [editor.] | Wansing, Heinrich [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 619Source: 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
Lexical Semantics and Knowledge Representation [electronic resource] : First SIGLEX Workshop Berkeley, CA, USA, June 17, 1991 Proceedings / edited by James Pustejovsky, Sabine Bergler.

by Pustejovsky, James [editor.] | Bergler, Sabine [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 627Source: 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
Logics in AI [electronic resource] : European Workshop JELIA'92 Berlin, Germany, September 7–10, 1992 Proceedings / edited by D. Pearce, G. Wagner.

by Pearce, D [editor.] | Wagner, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 633Source: 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
Neural Nets [electronic resource] : A Theory for Brains and Machines / by Armando Freitas Rocha.

by Rocha, Armando Freitas [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 638Source: 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