Your search returned 611 results.

Not what you expected? Check for suggestions
E-BOOKS
Logic Programming and Automated Reasoning [electronic resource] : International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings / edited by Andrei Voronkov.

by Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 624Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Nonclassical Logics and Information Processing [electronic resource] : International Workshop Berlin, Germany, November 9–10, 1990 Proceedings / edited by David Pearce, Heinrich Wansing.

by Pearce, David [editor.] | Wansing, Heinrich [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 619Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Computer Science Logic [electronic resource] : 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings / edited by Georg Gottlob, Etienne Grandjean, Katrin Seyr.

by Gottlob, Georg [editor.] | Grandjean, Etienne [editor.] | Seyr, Katrin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1584Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Relational and Algebraic Methods in Computer Science [electronic resource] : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / edited by Wolfram Kahl, Michael Winter, José Oliveira.

by Kahl, Wolfram [editor.] | Winter, Michael [editor.] | Oliveira, José [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9348 | Lecture Notes in Computer Science ; 9348Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Formal Aspects of Component Software [electronic resource] : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / edited by Christiano Braga, Peter Csaba Ölveczky.

by Braga, Christiano [editor.] | Ölveczky, Peter Csaba [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9539 | Lecture Notes in Computer Science ; 9539Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Formal Aspects of Component Software [electronic resource] : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings / edited by José Proença, Markus Lumpe.

by Proença, José [editor.] | Lumpe, Markus [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10487 | Lecture Notes in Computer Science ; 10487Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Programming Languages [electronic resource] : 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings / edited by Fernando Castor, Yu David Liu.

by Castor, Fernando [editor.] | Liu, Yu David [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9889 | Lecture Notes in Computer Science ; 9889Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Grand Timely Topics in Software Engineering [electronic resource] : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures / edited by Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev.

by Cunha, Jácome [editor.] | Fernandes, João P [editor.] | Lämmel, Ralf [editor.] | Saraiva, João [editor.] | Zaytsev, Vadim [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10223 | Lecture Notes in Computer Science ; 10223Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
BOOKS
Logic and information flow

by Eijck, Jan van. Ed | Eijck, Jan van. Ed | Visser, Albert. Ed.

Series: Foundations of computingMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge The MIT Press 1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 EIJ.

Place hold Log in to add tags
E-BOOKS
Logic Programming [electronic resource] : First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11–16, 1991 Proceedings / edited by A. Voronkov.

by Voronkov, A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 592Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Computational Logic and Proof Theory [electronic resource] : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici.

by Gottlob, Georg [editor.] | Leitsch, Alexander [editor.] | Mundici, Daniele [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 713Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Computer Science Logic [electronic resource] : 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings / edited by Jörg Flum, Mario Rodriguez-Artalejo.

by Flum, Jörg [editor.] | Rodriguez-Artalejo, Mario [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1683Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Mathematical Foundations of Computer Science 1998 [electronic resource] : 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24–28, 1998 Proceedings / edited by Luboš Brim, Jozef Gruska, Jiří Zlatuška.

by Brim, Luboš [editor.] | Gruska, Jozef [editor.] | Zlatuška, Jiří [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1450Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Typed Lambda Calculi and Applications [electronic resource] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings / edited by Pierre-Louis Curien.

by Curien, Pierre-Louis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5608Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Logic and combinatorics : [electronic resource] proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 / Stephen G. Simpson, editor.

by AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics (1985 : Humboldt State University) | Simpson, Stephen G. (Stephen George), 1945- | American Mathematical Society | Institute of Mathematical Statistics | Society for Industrial and Applied Mathematics.

Series: Contemporary mathematics (American Mathematical Society) ; v. 65.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1987Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Methods and applications of mathematical logic : [electronic resource] proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / Walter A. Carnielli and Luiz Paulo de Alcantara, editors.

by Latin-American Symposium on Mathematical Logic (7th : 1985 : State University of Campinas) | Carnielli, Walter A. (Walter Alexandre) | Alcantara, Luiz Paulo de, 1944- | Sociedade Brasileira de L�ogica | Sociedade Brasileira de Matem�atica | Association for Symbolic Logic.

Series: Contemporary mathematics (American Mathematical Society) ; v. 69.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1988Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Advances in contemporary logic and computer science : [electronic resource] proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors.

by Brazilian Conference on Mathematical Logic (11th : 1996 : Salvador, Brazil) | Carnielli, Walter A. (Walter Alexandre) | D'Ottaviano, Itala M. L, 1944-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 235.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, RI : American Mathematical Society, 1999Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Logic and Its Applications [electronic resource] : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings / edited by Sujata Ghosh, Sanjiva Prasad.

by Ghosh, Sujata [editor.] | Prasad, Sanjiva [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10119 | Lecture Notes in Computer Science ; 10119Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
BOOKS
Recursion Theory : its Generalisations and Applications Proceedings of Logic Colloquium 79, Leeds, August 1979

by Drake, F.R | Wainer, S.S.

Series: London mathematical society lecture note series ; 00045Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge Cambridge University Press 1980Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DRA.

Place hold Log in to add tags
BOOKS
Introduction to mathematical structures and proofs

by Gerstein, Larry J.

Series: Textbooks in mathematical sciencesMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer Jones and Bartlett Publishers 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 GER.

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha