Results of search for 'ccl=su:{Artificial Intelligence.} and su-to:Artificial intelligence and su-to:Software engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1521.	Theorem Proving in Higher Order Logics [electronic resource] : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings / by Boulton, Richard J [editor.] Jackson, Paul B [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2152 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1522.	Mobile Agents [electronic resource] : 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings / by Picco, Gian P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2240 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1523.	Algorithm Theory - SWAT'98 [electronic resource] : 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998, Proceedings / by Arnborg, Stefan [editor.] Ivansson, Lars [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1432 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1524.	Intelligent Agents and Multi-Agent Systems [electronic resource] : 6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003, Proceedings / by Lee, Jaeho [editor.] Barley, Mike [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2891 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1525.	Developments in Applied Artificial Intelligence [electronic resource] : 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, Proceedings / by Moonis, Ali [editor.] Chung, Paul [editor.] Hinde, Chris [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2718 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1526.	Innovative Concepts for Agent-Based Systems [electronic resource] : First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers / by Truszkowski, Walt [editor.] Rouff, Chris [editor.] Hinchey, Mike [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2564 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1527.	Intelligent Agents and Multi-Agent Systems [electronic resource] : 5th Pacific Rim International Workshop on Multi-Agents, PRIMA 2002, Tokyo, Japan, August 18-19, 2002. Proceedings / by Kuwabara, Kazuhiro [editor.] Lee, Jaeho [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2413 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1528.	Abstraction, Reformulation, and Approximation [electronic resource] : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings / by Choueiry, Berthe Y [editor.] Walsh, Toby [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1864 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1529.	Foundations of Inductive Logic Programming [electronic resource] / by Nienhuys-Cheng, Shan-Hwei [author.] Wolf, Ronald de [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1228 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1530.	Issues in Agent Communication [electronic resource] / by Dignum, Frank [editor.] Greaves, Mark [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1916 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1531.	RoboCup-98: Robot Soccer World Cup II [electronic resource] / by Asada, Minoru [editor.] Kitano, Hiroaki [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1604 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1532.	Engineering Societies in the Agents World [electronic resource] : First International Workshop, ESAW 2000, Berlin, Germany, August 21, 2000. Revised Papers / by Omicini, Andrea [editor.] Tolksdorf, Robert [editor.] Zambonelli, Franco [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1972 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1533.	Automated Reasoning [electronic resource] : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings / by Basin, David [editor.] Rusinowitch, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3097 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1534.	Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems [electronic resource] : International Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000 Revised Papers / by Wagner, Tom [editor.] Rana, Omer F [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1887 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1535.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings / by Furbach, Ulrich [editor.] Nerode, Anil [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1265 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1536.	Formal Approaches to Agent-Based Systems [electronic resource] : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers / by Hinchey, Michael G [editor.] Rash, James L [editor.] Truszkowski, Walter F [editor.] Rouff, Christopher [editor.] Gordon-Spears, Diana [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2699 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1537.	Intelligent Agents: Specification, Modeling, and Application [electronic resource] : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 28-29, 2001, Proceedings / by Yuan, Soe-Tsyr [editor.] Yokoo, Makoto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2132 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1538.	Theory and Application of Diagrams [electronic resource] : First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings / by Anderson, Michael [editor.] Cheng, Peter [editor.] Haarslev, Volker [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1889 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1539.	Computational Logic: Logic Programming and Beyond [electronic resource] : Essays in Honour of Robert A. Kowalski, Part I / by Kakas, A.C [editor.] Sadri, F [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2407 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1540.	Automated Reasoning [electronic resource] : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings / by Gore, Rajeev [editor.] Leitsch, Alexander [editor.] Nipkow, Tobias [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2083 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1614 results.