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
	781.	Computational Learning Theory [electronic resource] : 15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8-10, 2002. Proceedings / by Kivinen, Jyrki [editor.] Sloan, Robert H [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2375 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)
	782.	New Trends in Constraints [electronic resource] : Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers / by Apt, Krzysztof R [editor.] Kakas, Antonis [editor.] Monfroy, Eric [editor.] Rossi, Francesca [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1865 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)
	783.	Computer Science Logic [electronic resource] : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings / by Baaz, Matthias [editor.] Makowsky, Johann M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2803 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)
	784.	Computational Logic: Logic Programming and Beyond [electronic resource] : Essays in Honour of Robert A. Kowalski, Part II / by Kakas, Antonis C [editor.] Sadri, Fariba [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2408 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)
	785.	Compiler Construction [electronic resource] : 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / by Duesterwald, Evelyn [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2985 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)
	786.	Compiler Construction [electronic resource] : 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings / by Wilhelm, Reinhard [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2027 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)
	787.	Automated Deduction - CADE-19 [electronic resource] : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings / by Baader, Franz [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2741 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)
	788.	Logic-Based Program Synthesis and Transformation [electronic resource] : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers / by Bossi, Annalisa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1817 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)
	789.	Computer Science Logic [electronic resource] : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings / by Gottlob, Georg [editor.] Grandjean, Etienne [editor.] Seyr, Katrin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1584 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)
	790.	Principles of Data Mining and Knowledge Discovery [electronic resource] : 6th European Conference, PKDD 2002, Helsinki, Finland, August 19–23, 2002, Proceedings / by Elomaa, Tapio [editor.] Mannila, Heikki [editor.] Toivonen, Hannu [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2431 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)
	791.	Learning Theory and Kernel Machines [electronic resource] : 16th Annual Conference on Computational Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003, Proceedings / by Schölkopf, Bernhard [editor.] Warmuth, Manfred K [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2777 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)
	792.	Incremental Speech Translation [electronic resource] / by Amtrup, Jan W [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1735 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)
	793.	Grammatical Inference [electronic resource] : 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998, Proceedings / by Honavar, Vasant [editor.] Slutzki, Giora [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1433 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)
	794.	Artificial Intelligence and Symbolic Computation [electronic resource] : International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers / by Campbell, John A [editor.] Roanes-Lozano, Eugenio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1930 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)
	795.	Rewriting Techniques and Applications [electronic resource] : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings / by Comon, Hubert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1232 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)
	796.	Advances in Learning Classifier Systems [electronic resource] : 4th International Workshop, IWLCS 2001, San Francisco, CA, USA, July 7-8, 2001. Revised Papers / by Lanzi, Pier L [editor.] Stolzmann, Wolfgang [editor.] Wilson, Stewart W [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2321 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)
	797.	Rewriting Techniques and Applications [electronic resource] : 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings / by Narendran, Paliath [editor.] Rusinowitch, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1631 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)
	798.	Natural Language Processing and Information Systems [electronic resource] : 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 28-30, 2000; Revised Papers / by Bouzeghoub, Mokrane [editor.] Kedad, Zoubida [editor.] Metais, Elisabeth [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1959 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)
	799.	Computational Logic — CL 2000 [electronic resource] : First International Conference London, UK, July 24–28, 2000 Proceedings / by Lloyd, John [editor.] Dahl, Veronica [editor.] Furbach, Ulrich [editor.] Kerber, Manfred [editor.] Lau, Kung-Kiu [editor.] Palamidessi, Catuscia [editor.] Pereira, Luis M [editor.] Sagiv, Yehoshua [editor.] Stuckey, Peter J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1861 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)
	800.	Modelling with Words [electronic resource] : Learning, Fusion, and Reasoning within a Formal Linguistic Representation Framework / by Lawry, Jonathan [editor.] Shanahan, Jimi [editor.] Ralescu, Anca [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2873 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 811 results.