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

Results
	1741.	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)
	1742.	Algebraic and Logic Programming [electronic resource] : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings / by Hanus, Michael [editor.] Heering, Jan [editor.] Meinke, Karl [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1298 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)
	1743.	FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings / by Hariharan, Ramesh [editor.] Mukund, Madhavan [editor.] Vinay, V [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2245 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)
	1744.	Theoretical Computer Science [electronic resource] : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings / by Blundo, Carlo [editor.] Laneve, Cosimo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2841 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)
	1745.	Symbolic and Quantitative Approaches to Reasoning and Uncertainty [electronic resource] : European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings / by Hunter, Anthony [editor.] Parsons, Simon D [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1638 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)
	1746.	Computational Learning Theory [electronic resource] : 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001, Amsterdam, The Netherlands, July 16-19, 2001, Proceedings / by Helmbold, David [editor.] Williamson, Bob [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2111 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)
	1747.	Conceptual Structures: Integration and Interfaces [electronic resource] : 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings / by Priss, Uta [editor.] Corbett, Dan [editor.] Angelova, Galia [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2393 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)
	1748.	Rough Sets and Current Trends in Computing [electronic resource] : Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000 Revised Papers / by Ziarko, Wojciech [editor.] Yao, Yiyu [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2005 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)
	1749.	Logical Aspects of Computational Linguistics [electronic resource] : Third International Conference, LACL'98 Grenoble, France, December 14-16, 1998 Selected Papers / by Moortgat, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2014 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)
	1750.	Computational Learning Theory [electronic resource] : 4th European Conference, EuroCOLT'99 Nordkirchen, Germany, March 29-31, 1999 Proceedings / by Fischer, Paul [editor.] Simon, Hans U [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1572 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)
	1751.	Automated Deduction in Geometry [electronic resource] : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings / by Gao, Xiao-lu [editor.] Wang, Dongming [editor.] Yang, Lu [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1669 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)
	1752.	Algorithmic Learning Theory [electronic resource] : 15th International Conference, ALT 2004, Padova, Italy, October 2-5, 2004. Proceedings / by Ben David, Shai [editor.] Case, John [editor.] Maruoka, Akira [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3244 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)
	1753.	Envisioning Machine Translation in the Information Future [electronic resource] : 4th Conference of the Association for Machine Translation in the Americas, AMTA 2000, Cuernavaca, Mexico, October 10-14, 2000 Proceedings / by White, John S [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1934 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)
	1754.	Conceptual Structures: Standards and Practices [electronic resource] : 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings / by Tepfenhart, William M [editor.] Cyre, Walling [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1640 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)
	1755.	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)
	1756.	Machine Learning: ECML 2001 [electronic resource] : 12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001. Proceedings / by Raedt, Luc de [editor.] Flach, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2167 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)
	1757.	Logical Aspects of Computational Linguistics [electronic resource] : 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings / by Groote, Philippe de [editor.] Morrill, Glyn [editor.] Retore, Christian [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2099 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)
	1758.	Text- and Speech-Triggered Information Access [electronic resource] : 8th ELSNET Summer School, Chios Island, Greece, July 15-30, 2000, Revised Lectures / by Renals, Steve [editor.] Grefenstette, Gregory [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2705 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)
	1759.	Case-Based Reasoning Research and Development [electronic resource] : Third International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999, Proceedings / by Althoff, Klaus-Dieter [editor.] Bergmann, Ralph [editor.] Branting, L. Karl [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1650 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)
	1760.	Automated Deduction - CADE-17 [electronic resource] : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings / by McAllester, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1831 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 1898 results.