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

Results
	1641.	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)
	1642.	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)
	1643.	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)
	1644.	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)
	1645.	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)
	1646.	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)
	1647.	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)
	1648.	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)
	1649.	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)
	1650.	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)
	1651.	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)
	1652.	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)
	1653.	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)
	1654.	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)
	1655.	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)
	1656.	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)
	1657.	Advances in Artificial Intelligence - SBIA 2004 [electronic resource] : 17th Brazilian Symposium on Artificial Intelligence, Sao Luis, Maranhao, Brazil, September 29-October 1, 2004, Proceedings / by Bazzan, Ana L. C [editor.] Labidi, Sofiane [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3171 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)
	1658.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings / by Benferhat, Salem [editor.] Besnard, Philippe [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2143 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)
	1659.	Inductive Logic Programming [electronic resource] : 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers / by Matwin, Stan [editor.] Sammut, Claude [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2583 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)
	1660.	Conceptual Modeling - ER '98 [electronic resource] : 17th International Conference on Conceptual Modeling, Singapore, November 16-19, 1998, Proceedings / by Ling, Tok Wang [editor.] Ram, Sudha [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1507 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

Topics

Your search returned 1743 results.