Results of search for 'ccl=su:{Computer Science.} and su-to:Computer science and su-to:Artificial Intelligence and su-to:Formal Languages and Automata Theory' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	721.	Computational Intelligence: Theory and Applications [electronic resource] : International Conference, 6th Fuzzy Days, Dortmund, Germany, May 25-28, 1999, Proceedings / by Reusch, Bernd [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1625 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)
	722.	Applications of Graph Transformations with Industrial Relevance [electronic resource] : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers / by Pfaltz, John L [editor.] Nagl, Manfred [editor.] Böhlen, Boris [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3062 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)
	723.	Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic / by Nipkow, Tobias [author.] Paulson, Lawrence C [author.] Wenzel, Markus [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2283 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)
	724.	The Logic System of Concept Graphs with Negation [electronic resource] : And Its Relationship to Predicate Logic / by Dau, Frithjof [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2892 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)
	725.	Computer Aided Verification [electronic resource] : 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings / by Emerson, E. Allen [editor.] Sistla, A. Prasad [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1855 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)
	726.	Principles of Declarative Programming [electronic resource] : 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings / by Palamidessi, Catuscia [editor.] Glaser, Hugh [editor.] Meinke, Karl [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1490 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)
	727.	Computer Science Logic [electronic resource] : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings / by Clote, Peter G [editor.] Schwichtenberg, Helmut [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1862 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)
	728.	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)
	729.	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)
	730.	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)
	731.	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)
	732.	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)
	733.	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)
	734.	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)
	735.	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)
	736.	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)
	737.	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)
	738.	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)
	739.	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)
	740.	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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 811 results.