Bibliothèque de L'IMIST/CNRST

Votre panier est vide.
IMIST


Votre recherche a retourné 4 résultats.

Basic simple type theory par Hindley, James Roger, Publication : Cambridge [et cetera] Cambridge University Press. 1997 . XI, 186 pages 24 cm. Date : 1997 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Treatise on intuitionistic type theory par Granström, Johan Georg Publication : New York Springer 2011 . xiii, 196 pages , Includes bibliographical references (p. [175]-185) and indexes. 24 cm. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Categorical logic and type theory / par Jacobs, Bart. Publication : . 1 online resource (xviii, 760 pages) : Disponibilité :  http://www.sciencedirect.com/science/book/9780444501707,  http://www.sciencedirect.com/science/publication?issn=0049237X&volume=141,

Ajouter au panier
A transfinite type theory with type variables par Andrews, P. B. Publication : . 1 online resource (xv, 143 pages). Disponibilité :  http://www.sciencedirect.com/science/book/9780444534026,

Ajouter au panier
Vous ne trouvez pas ce que vous cherchez ?
© Tous droits résérvés IMIST/CNRST
Angle Av. Allal Al Fassi et Av. des FAR, Hay Ryad, BP 8027, 10102 Rabat, Maroc
Tél:(+212) 05 37.56.98.00
CNRST / IMIST

Propulsé par Koha