Results of search for 'ccl=su:{Mathematical Logic and Formal Languages.} and su-to:Mathematical logic and su-to:Mathematical Logic and Formal Languages' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	181.	KI 2015: Advances in Artificial Intelligence [electronic resource] : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings / by Hölldobler, Steffen [editor.] Peñaloza, Rafael [editor.] Rudolph, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9324 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	182.	Processes, Terms and Cycles: Steps on the Road to Infinity [electronic resource] : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday / by Middeldorp, Aart [editor.] van Oostrom, Vincent [editor.] van Raamsdonk, Femke [editor.] de Vrijer, Roel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3838 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	183.	Developments in Language Theory [electronic resource] : 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings / by Calude, Cristian S [editor.] Calude, Elena [editor.] Dinneen, Michael J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3340 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	184.	Theory and Applications of Satisfiability Testing [electronic resource] : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / by Hoos, Holger H [editor.] Mitchell, David G [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3542 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	185.	Membrane Computing [electronic resource] : International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers / by Martín-Vide, Carlos [editor.] Mauri, Giancarlo [editor.] Paun, Gheorghe [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2933 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)
	186.	Tools for Teaching Logic [electronic resource] : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings / by Blackburn, Patrick [editor.] van Ditmarsch, Hans [editor.] Manzano, Maria [editor.] Soler-Toscano, Fernando [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6680 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	187.	Recent Trends in Algebraic Development Techniques [electronic resource] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / by Corradini, Andrea [editor.] Montanari, Ugo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5486 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	188.	Typed Lambda Calculi and Applications [electronic resource] : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings / by Ong, Luke [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6690 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	189.	Logic and Games on Automatic Structures [electronic resource] : Playing with Quantifiers and Decompositions / by Kaiser, Lukasz [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6810 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	190.	Typed Lambda Calculi and Applications [electronic resource] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings / by Curien, Pierre-Louis [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5608 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	191.	Theory and Applications of Satisfiability Testing - SAT 2009 [electronic resource] : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings / by Kullmann, Oliver [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5584 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	192.	Computer Science Logic [electronic resource] : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings / by Grädel, Erich [editor.] Kahle, Reinhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5771 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	193.	Logic, Rationality, and Interaction [electronic resource] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / by van Ditmarsch, Hans [editor.] Lang, Jerome [editor.] Ju, Shier [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6953 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	194.	Recent Trends in Algebraic Development Techniques [electronic resource] : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers / by Mossakowski, Till [editor.] Kreowski, Hans-Jörg [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7137 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	195.	Computer Science Logic [electronic resource] : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings / by Ésik, Zoltán [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4207 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	196.	Logic, Rationality, and Interaction [electronic resource] : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / by van der Hoek, Wiebe [editor.] Holliday, Wesley H [editor.] Wang, Wen-fang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9394 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	197.	Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings / by Artemov, Sergei [editor.] Nerode, Anil [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5407 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	198.	Rewriting Techniques and Applications [electronic resource] : 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings / by Treinen, Ralf [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5595 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	199.	Theory and Applications of Satisfiability Testing [electronic resource] : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / by Bacchus, Fahiem [editor.] Walsh, Toby [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3569 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	200.	Concept Lattices [electronic resource] : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings / by Eklund, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2961 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 238 results.