Your search returned 15 results.

Not what you expected? Check for suggestions
BOOKS
No cover image available
Cassel's new french-english,english-french dictionary

by Girard.

Material type: Text Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 8, Shelf No: 1 Call number: 5(02) GIR.

Place hold Log in to add tags
BOOKS
Proof and types

by Girard, Jean-Yves | Taylor, Paul | Lafont, Yves.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge: Cambridge University press: 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 36 Call number: 681.3.06 GIR.

Place hold Log in to add tags
BOOKS
Advances in linear logic

by Girard, Jean-Yves. Ed | Lafont, Yves. Ed | Regnier, Laurent. Ed.

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

Place hold Log in to add tags
BOOKS
Typed lambda calculi and applications: 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings

by Girard, Jean-Yves Ed.

Series: Lecture notes in computer science ; 01581Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin, New York : ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 22 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Quarternions, clifford algebras and relativistic physics

by Girard, Patrick R.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Basel ; Birkhauser ; 2007Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 29, Shelf No: 3 Call number: 512 GIR.

Place hold Log in to add tags
BOOKS
Blind spot

by Girard, Jean-Yves.

Series: Lectures on logicMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Zurich ; European mathematical society ; 2011Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 GIR.

Place hold Log in to add tags
E-BOOKS
Typed Lambda Calculi and Applications [electronic resource] : 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings / edited by Jean-Yves Girard.

by Girard, Jean-Yves [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1581Source: 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
From Animals to Animats 11 [electronic resource] : 11th International Conference on Simulation of Adaptive Behavior, SAB 2010, Paris - Clos Lucé, France, August 25-28, 2010. Proceedings / edited by Stéphane Doncieux, Benoît Girard, Agnès Guillot, John Hallam, Jean-Arcady Meyer, Jean-Baptiste Mouret.

by Doncieux, Stéphane [editor.] | Girard, Benoît [editor.] | Guillot, Agnès [editor.] | Hallam, John [editor.] | Meyer, Jean-Arcady [editor.] | Mouret, Jean-Baptiste [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6226Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Categories in computer science and logic : [electronic resource] proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation / John W. Gray and Andre Scedrov, editors.

by AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic (1987 : University of Colorado, Boulder) | Gray, John W. (John Walker), 1931- | �S�cedrov, Andrej, 1955- | National Science Foundation.

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

Place hold Log in to add tags
E-BOOKS
Linear Logic in Computer Science / Edited by Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott.

by Ehrhard, Thomas [editor of compilation.] | Girard, Jean-Yves [editor of compilation.] | Ruet, Paul [editor of compilation.] | Scott, Philip [editor of compilation.].

Series: London Mathematical Society Lecture Note Series ; no. 316Material type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2004Online 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
Advances in Linear Logic / Edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier.

by Girard, Jean-Yves [editor of compilation.] | Lafont, Yves [editor of compilation.] | Regnier, Laurent [editor of compilation.].

Series: London Mathematical Society Lecture Note Series ; no. 222Material type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1995Online 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
Recursion theory / [electronic resource] [edited by Anil Nerode, Richard A. Shore].

by Nerode, Anil, 1932- | Shore, Richard A, 1946- | American Mathematical Society | AMS-ASL Summer Institute on Recursion Theory (1982 : Cornell University) | Association for Symbolic Logic.

Series: Proceedings of symposia in pure mathematics ; v. 42Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, 1985Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
The Blind Spot [electronic resource] : Lectures on Logic / Jean-Yves Girard

by Girard, Jean-Yves [author.] | Girard, Jean-Yves [author.].

Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2011Online access: Click here to access online | cover image Availability: Items available for loan: IMSc Library (1). Location(s): .

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

Powered by Koha