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

Results
	5561.	Developing Industrial Case-Based Reasoning Applications [electronic resource] : The INRECA Methodology / by Bergmann, Ralph [author.] Althoff, Klaus-Dieter [author.] Breen, Sean [author.] Göker, Mehmet [author.] Manago, Michel [author.] Traphöner, Ralph [author.] Wess, Stefan [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1612 Edition: 2nd 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)
	5562.	Automated Deduction in Geometry [electronic resource] : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers / by Wang, Dongming [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1360 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)
	5563.	Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] : 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings / by Wang, Guoyin [editor.] Liu, Qing [editor.] Yao, Yiyu [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2639 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)
	5564.	Advances in Artificial Life [electronic resource] : 5th European Conference, ECAL'99, Lausanne, Switzerland, September 13-17, 1999 Proceedings / by Floreano, Dario [editor.] Nicoud, Jean-Daniel [editor.] Mondada, Francesco [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1674 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)
	5565.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings / by Eiter, Thomas [editor.] Faber, Wolfgang [editor.] Trusczynksi, Miroslaw [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2173 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)
	5566.	Case-Based Reasoning Research and Development [electronic resource] : 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings / by Ashley, Kevin D [editor.] Bridge, Derek [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2689 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)
	5567.	Artificial Intelligence and Symbolic Computation [electronic resource] : 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings / by Buchberger, Bruno [editor.] Campbell, John A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3249 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)
	5568.	MICAI 2002: Advances in Artificial Intelligence [electronic resource] : Second Mexican International Conference on Artificial Intelligence Merida, Yucatan, Mexico, April 22-26, 2002 Proceedings / by Coello Coello, Carlos [editor.] Albornoz, Alvaro de [editor.] Sucar, Luis E [editor.] Battistutti, Osvaldo C [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2313 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)
	5569.	WEBKDD 2001 - Mining Web Log Data Across All Customers Touch Points [electronic resource] : Third International Workshop, San Francisco, CA, USA, August 26, 2001, Revised Papers / by Kohavi, Ron [editor.] Masand, Brij M [editor.] Spiliopoulou, Myra [editor.] Srivastava, Jaideep [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2356 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)
	5570.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings / by Cialdea Mayer, Marta [editor.] Pirri, Fiora [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2796 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)
	5571.	Grammatical Inference: Algorithms and Applications [electronic resource] : 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002. Proceedings / by Adriaans, Pieter [editor.] Fernau, Henning [editor.] Zaanen, Menno van [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2484 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)
	5572.	Machine Translation and the Information Soup [electronic resource] : Third Conference of the Association for Machine Translation in the Americas, AMTA’98, Langhorne, PA, USA, October 28–31, 1998 Proceedings / by Farwell, David [editor.] Gerber, Laurie [editor.] Hovy, Eduard [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1529 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)
	5573.	Developments in Applied Artificial Intelligence [electronic resource] : 15th International Conference on Industrial and Engineering. Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2002, Cairns, Australia, June 17-20, 2002. Proceedings / by Hendtlass, Tim [editor.] Ali, Moonis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2358 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)
	5574.	Emergent Neural Computational Architectures Based on Neuroscience [electronic resource] : Towards Neuroscience-Inspired Computing / by Wermter, Stefan [editor.] Austin, Jim [editor.] Willshaw, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2036 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)
	5575.	Grammatical Inference: Algorithms and Applications [electronic resource] : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 Proceedings / by Oliveira, Arlindo L [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1891 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)
	5576.	Theory Reasoning in Connection Calculi [electronic resource] / by Baumgartner, Peter [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1527 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)
	5577.	Automated Deduction - CADE-16 [electronic resource] : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings / by Ganzinger, Harald [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1632 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)
	5578.	Advances in Natural Language Processing [electronic resource] : Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002. Proceedings / by Ranchod, Elisabete [editor.] Mamede, Nuno J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2389 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)
	5579.	Machine Learning and Data Mining in Pattern Recognition [electronic resource] : Third International Conference, MLDM 2003, Leipzig, Germany, July 5-7, 2003, proceedings / by Perner, Petra [editor.] Rosenfeld, Azriel [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2734 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)
	5580.	The Automation of Reasoning with Incomplete Information [electronic resource] : From Semantic Foundations to Efficient Computation / by Schaub, Torsten [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1409 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.