Results of search for 'ccl=su:{Mathematical logic.} and su-to:Computer Science and su-to:Machine theory and su-to:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	41.	Logic for Programming and Automated Reasoning [electronic resource] : 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings / by Parigot, Michel [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1955 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)
	42.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers / by Coquand, Thierry [editor.] Dybjer, Peter [editor.] Nordström, Bengt [editor.] Smith, Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1956 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)
	43.	Computational Linguistics and Intelligent Text Processing [electronic resource] : Third International Conference, CICLing 2002, Mexico City, Mexico, February 17-23, 2002 Proceedings / by Gelbukh, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2276 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)
	44.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers / by Callaghan, Paul [editor.] Luo, Zhaohui [editor.] McKinna, James [editor.] Pollack, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2277 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)
	45.	Developments in Language Theory [electronic resource] : 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers / by Kuich, Werner [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2295 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)
	46.	New Directions in Rough Sets, Data Mining, and Granular-Soft Computing [electronic resource] : 7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 Proceedings / by Zhong, Ning [editor.] Ohsuga, Setsuo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1711 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)
	47.	Computer Science Logic [electronic resource] : 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings / by Flum, Jörg [editor.] Rodriguez-Artalejo, Mario [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1683 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)
	48.	Computability and Complexity in Analysis [electronic resource] : 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers / by Blanck, Jens [editor.] Brattka, Vasco [editor.] Hertling, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2064 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)
	49.	Proof Theory in Computer Science [electronic resource] : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings / by Kahle, Reinhard [editor.] Schroeder-Heister, Peter [editor.] Stärk, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2183 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)
	50.	Multiset Processing [electronic resource] : Mathematical, Computer Science, and Molecular Computing Points of View / by Calude, Christian S [editor.] Paun, Gheorghe [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2235 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)
	51.	Computer Science Logic [electronic resource] : 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings / by Fribourg, Laurent [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2142 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)
	52.	Automata Implementation [electronic resource] : 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers / by Boldt, Oliver [editor.] Jürgensen, Helmut [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2214 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)
	53.	Abstract State Machines 2004. Advances in Theory and Practice [electronic resource] : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / by Zimmermann, Wolf [editor.] Thalheim, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3052 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)
	54.	Typed Lambda Calculi and Applications [electronic resource] : 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings / by Girard, Jean-Yves [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1581 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)
	55.	Applications and Theory of Petri Nets 2001 [electronic resource] : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings / by Colom, Jose-Manuel [editor.] Koutny, Maciej [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2075 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)
	56.	Rewriting Techniques and Applications [electronic resource] : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings / by Nipkow, Tobias [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1379 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)
	57.	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)
	58.	Automata Implementation [electronic resource] : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers / by Raymond, Darrell [editor.] Wood, Derick [editor.] Yu, Sheng [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1260 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)
	59.	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)
	60.	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

Item types

Series

Topics

Your search returned 73 results.