Your search returned 227 results.

Not what you expected? Check for suggestions
E-BOOKS
Reasoning with Uncertainty in Robotics [electronic resource] : International Workshop, RUR '95 Amsterdam, The Netherlands December 4–6, 1995 Proceedings / edited by Leo Dorst, Michiel Lambalgen, Frans Voorbraak.

by Dorst, Leo [editor.] | Lambalgen, Michiel [editor.] | Voorbraak, Frans [editor.] | SpringerLink (Online service).

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

E-BOOKS
Automated Deduction in Equational Logic and Cubic Curves [electronic resource] / by W. McCune, R. Padmanabhan.

by McCune, W [author.] | Padmanabhan, R [author.] | SpringerLink (Online service).

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

E-BOOKS
Artificial Intelligence in Structural Engineering [electronic resource] : Information Technology for Design, Collaboration, Maintenance, and Monitoring / edited by Ian Smith.

by Smith, Ian [editor.] | SpringerLink (Online service).

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

E-BOOKS
Reasoning with Logic Programming [electronic resource] / edited by José Júlio Alferes, Luís Moniz Pereira.

by Alferes, José Júlio [editor.] | Moniz Pereira, Luís [editor.] | SpringerLink (Online service).

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

E-BOOKS
Automated Deduction — Cade-13 [electronic resource] : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings / edited by M. A. McRobbie, J. K. Slaney.

by McRobbie, M. A [editor.] | Slaney, J. K [editor.] | SpringerLink (Online service).

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

E-BOOKS
Non-Monotonic Extensions of Logic Programming [electronic resource] : Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers / edited by Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski.

by Dix, Jürgen [editor.] | Pereira, Luís Moniz [editor.] | Przymusinski, Teodor C [editor.] | SpringerLink (Online service).

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

E-BOOKS
Machine Learning: ECML-97 [electronic resource] : 9th European Conference on Machine Learning Prague, Czech Republic, April 23–25, 1997 Proceedings / edited by Maarten Someren, Gerhard Widmer.

by Someren, Maarten [editor.] | Widmer, Gerhard [editor.] | SpringerLink (Online service).

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

E-BOOKS
Collective Robotics [electronic resource] : First International Workshop, CRW'98 Paris, France, July 4–5, 1998 Proceeedings / edited by Alexis Drogoul, Milind Tambe, Toshio Fukuda.

by Drogoul, Alexis [editor.] | Tambe, Milind [editor.] | Fukuda, Toshio [editor.] | SpringerLink (Online service).

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

E-BOOKS
PRICAI'96: Topics in Artificial Intelligence [electronic resource] : 4th Pacific Rim International Conference on Artificial Intelligence Cairns, Australia, August 26–30, 1996 Proceedings / edited by Norman Foo, Randy Goebel.

by Foo, Norman [editor.] | Goebel, Randy [editor.] | SpringerLink (Online service).

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

E-BOOKS
Conceptual Structures: Knowledge Representation as Interlingua [electronic resource] : 4th International Conference on Conceptual Structures, ICCS '96 Sydney, Australia, August 19–22, 1996 Proceedings / edited by Peter W. Eklund, Gerard Ellis, Graham Mann.

by Eklund, Peter W [editor.] | Ellis, Gerard [editor.] | Mann, Graham [editor.] | SpringerLink (Online service).

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

E-BOOKS
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings / edited by Didier Galmiche.

by Galmiche, Didier [editor.] | SpringerLink (Online service).

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

E-BOOKS
Foundations of Inductive Logic Programming [electronic resource] / by Shan-Hwei Nienhuys-Cheng, Roland Wolf.

by Nienhuys-Cheng, Shan-Hwei [author.] | Wolf, Roland [author.] | SpringerLink (Online service).

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

E-BOOKS
Distributed Artificial Intelligence Meets Machine Learning Learning in Multi-Agent Environments [electronic resource] : ECAI'96 Workshop LDAIS Budapest, Hungary, August 13, 1996 ICMAS'96 Workshop LIOME Kyoto, Japan, December 10, 1996 Selected Papers / edited by Gerhard Weiß.

by Weiß, Gerhard [editor.] | SpringerLink (Online service).

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

E-BOOKS
Inductive Logic Programming [electronic resource] : 8th International Conference, ILP-98 Madison, Wisconsin, USA, July 22–24, 1998 Proceedings / edited by David Page.

by Page, David [editor.] | SpringerLink (Online service).

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

E-BOOKS
Multi-Agent Rationality [electronic resource] : 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'97 Ronneby, Sweden, May 13–16, 1997 Proceedings / edited by Magnus Boman, Walter Velde.

by Boman, Magnus [editor.] | Velde, Walter [editor.] | SpringerLink (Online service).

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

E-BOOKS
Qualitative and Quantitative Practical Reasoning [electronic resource] : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9–12, 1997 Proceedings / edited by Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach.

by Gabbay, Dov M [editor.] | Kruse, Rudolf [editor.] | Nonnengart, Andreas [editor.] | Ohlbach, Hans Jürgen [editor.] | SpringerLink (Online service).

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

E-BOOKS
Automated Deduction—CADE-14 [electronic resource] : 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings / edited by William McCune.

by McCune, William [editor.] | SpringerLink (Online service).

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

E-BOOKS
Dialogue Processing in Spoken Language Systems [electronic resource] : ECAI'96 Workshop Budapest, Hungary, August 13, 1996 Revised Papers / edited by Elisabeth Maier, Marion Mast, Susann LuperFoy.

by Maier, Elisabeth [editor.] | Mast, Marion [editor.] | LuperFoy, Susann [editor.] | SpringerLink (Online service).

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

E-BOOKS
Principles of Data Mining and Knowledge Discovery [electronic resource] : First European Symposium, PKDD '97 Trondheim, Norway, June 24–27, 1997 Proceedings / edited by Jan Komorowski, Jan Zytkow.

by Komorowski, Jan [editor.] | Zytkow, Jan [editor.] | SpringerLink (Online service).

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

E-BOOKS
Case-Based Reasoning Research and Development [electronic resource] : Second International Conference on Case-Based Reasoning, ICCBR-97 Providence, RI, USA, July 25–27, 1997 Proceedings / edited by David B. Leake, Enric Plaza.

by Leake, David B [editor.] | Plaza, Enric [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha