Results of search for 'ccl=su:{Theory}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	5521.	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)
	5522.	Recent Advances in AI Planning [electronic resource] : 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings / by Biundo, Susanne [editor.] Fox, Maria [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1809 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)
	5523.	Advances in Knowledge Discovery and Data Mining [electronic resource] : 7th Pacific-Asia Conference, PAKDD 2003. Seoul, Korea, April 30 - May 2, 2003, Proceedings / by Whang, Kyu-Young [editor.] Jeon, Jongwoo [editor.] Shim, Kyuseok [editor.] Srivatava, Jaideep [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2637 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)
	5524.	Abstraction, Reformulation, and Approximation [electronic resource] : 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings / by Koenig, Sven [editor.] Holte, Robert C [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2371 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)
	5525.	Algorithmic Learning Theory [electronic resource] : 8th International Workshop, ALT '97, Sendai, Japan, October 6-8, 1997. Proceedings / by Li, Ming [editor.] Maruoka, Akira [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1316 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)
	5526.	Algorithmic Learning Theory [electronic resource] : 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001. Proceedings. / by Abe, Naoki [editor.] Khardon, Roni [editor.] Zeugmann, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2225 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)
	5527.	Automated Deduction - CADE-18 [electronic resource] : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings / by Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2392 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)
	5528.	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)
	5529.	A Tight, Practical Integration of Relations and Functions [electronic resource] / by Boley, Harold [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1712 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)
	5530.	Advances in Web Intelligence [electronic resource] : Second International Atlantic Web Intelligence Conference, AWIC 2004, Cancun, Mexico, May 16-19, 2004. Proceedings / by Favela, Jesus [editor.] Menasalvas, Ernestina [editor.] Chávez, Edgar [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3034 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)
	5531.	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)
	5532.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings / by Galmiche, Didier [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1227 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)
	5533.	Conceptual Structures: Broadening the Base [electronic resource] : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings / by Delugach, Harry S [editor.] Stumme, Gerd [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2120 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)
	5534.	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)
	5535.	Non-Monotonic Extensions of Logic Programming [electronic resource] : Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers / by Dix, Juergen [editor.] Moniz Pereira, Luis [editor.] Przymusinski, Teodor C [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1216 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)
	5536.	Machine Learning and Its Applications [electronic resource] : Advanced Lectures / by Paliouras, Georgios [editor.] Karkaletsis, Vangelis [editor.] Spyropoulos, Constantine D [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2049 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)
	5537.	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)
	5538.	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)
	5539.	Advances in Learning Classifier Systems [electronic resource] : Third International Workshop, IWLCS 2000, Paris, France, September 15-16, 2000. Revised Papers / by Lanzi, Pier L [editor.] Stolzmann, Wolfgang [editor.] Wilson, Stewart W [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1996 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)
	5540.	Advances in Case-Based Reasoning [electronic resource] : 4th European Workshop, EWCBR'98, Dublin, Ireland, September 23-25, 1998, Proceedings / by Smyth, Barry [editor.] Cunningham, Padraig [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1488 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.