Your search returned 568 results.

Not what you expected? Check for suggestions
BOOKS
Automated Reasoning: second international joint conference, IJCAR 2004 Cork, Ireland, July 4-8, 2004: proceedings

by Basin, David | Rusinowitch, Michael Eds.

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

Place hold Log in to add tags
BOOKS
Learning Theory: 17th annual conference on learning theory, COLT 2004 Banff, Canada, July 1-4, 2004: proceedings

by Shawe-Taylor, John | Singer, Yoram Eds.

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

Place hold Log in to add tags
BOOKS
Programming Multi Agent Systems

by Dastani, Mehdi | Dix, Jurgen | Seghrouchni, Amal El F Eds.

Series: Lecture notes in artificial intelligence ; 03067Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor Rack No:48 Shelf No:28 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Logical aspects of computational linguistics: second international conference, LACL '97, Nancy, France, September 22-24, 1997 : selected papers

by Lecomte, Alain | Lamarche, Francois | Perrier, Guy Eds.

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

Place hold Log in to add tags
BOOKS
Verification of object oriented software The key approach

by Beckert, Bernhard, Ed | Hahnle, Reiner | Schmitt, Peter H.

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

Place hold Log in to add tags
BOOKS
Logic and its applications 4th Indian conference, ICLA 2011, India, January 2011 Proceedings

by Banerjee, Mohua, Ed | Seth, Anil.

Series: Lecture notes in artificial intelligence (LNAI) | ; 6521Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: New york ; Springer ; 2011Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.

Place hold Log in to add tags
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
Trust, Reputation, and Security: Theories and Practice [electronic resource] : AAMAS 2002 International Workshop, Bologna, Italy, July 15, 2002. Selected and Invited Papers / edited by Rino Falcone, Suzanne Barber, Larry Korba, Munindar Singh.

by Falcone, Rino [editor.] | Barber, Suzanne [editor.] | Korba, Larry [editor.] | Singh, Munindar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 2631Source: 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
EPIA 91 [electronic resource] : 5th Portuguese Conference on Artificial Intelligence Albufeira, Portugal, October 1–3, 1991 Proceedings / edited by Pedro Barahona, Luís Moniz Pereira, António Porto.

by Barahona, Pedro [editor.] | Moniz Pereira, Luís [editor.] | Porto, António [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 541Source: 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
Methodologies for Intelligent Systems [electronic resource] : 6th International Symposium, ISMIS '91 Charlotte, N. C., USA, October 16–19, 1991 Proceedings / edited by Z. W. Ras, M. Zemankova.

by Ras, Z. W [editor.] | Zemankova, M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 542Source: 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
Nonmonotonic and Inductive Logic [electronic resource] : 1st International Workshop Karlsruhe, Germany, December 4–7, 1990 Proceedings / edited by J. Dix, K. P. Jantke, P. H. Schmitt.

by Dix, J [editor.] | Jantke, K. P [editor.] | Schmitt, P. H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 543Source: 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
Conceptual Structures: Current Practices [electronic resource] : Second International Conference on Conceptual Structures, ICCS'94 College Park, Maryland, USA August 16–20, 1994 Proceedings / edited by William M. Tepfenhart, Judith P. Dick, John F. Sowa.

by Tepfenhart, William M [editor.] | Dick, Judith P [editor.] | Sowa, John F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 835Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Advances in Case-Based Reasoning [electronic resource] : 5th European Workshop, EWCBR 2000 Trento, Italy, September 6–9, 2000 Proceedings / edited by Enrico Blanzieri, Luigi Portinale.

by Blanzieri, Enrico [editor.] | Portinale, Luigi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1898Source: 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
Intelligent Agents: Specification, Modeling, and Applications [electronic resource] : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001 Taipei, Taiwan, July 28–29, 2001 Proceedings / edited by Soe -Tsyr Yuan, Makoto Yokoo.

by Yuan, Soe -Tsyr [editor.] | Yokoo, Makoto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 2132Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
Advances in Web Intelligence [electronic resource] : First International AtlanticWeb Intelligence Conference, AWIC 2003, Madrid, Spain, May 5–6, 2003. Proceedings / edited by Ernestina Menasalvas, Javier Segovia, Piotr S. Szczepaniak.

by Menasalvas, Ernestina [editor.] | Segovia, Javier [editor.] | Szczepaniak, Piotr S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 2663Source: 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
Knowledge Management in Electronic Government [electronic resource] : 4th IFIP International Working Conference, KMGov 2003, Rhodes, Greece, May 26–28, 2003 Proceedings / edited by Maria A. Wimmer.

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

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 2645Source: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha