Bibliothèque de L'IMIST/CNRST

Votre panier est vide.
IMIST


Votre recherche a retourné 32 résultats.

Cognitive reasoning : a formal approach / par Anshakov, O. M. Publication : Heidelberg ; | New York : Springer, 2010 . 1 online resource (x, 437 pages) : Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Mathematical logic / par Monk, J. Donald Publication : New York : Springer-Verlag, 1976 . x, 531 p. ; 25 cm. Date : 1976 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Logical frameworks for truth and abstraction : an axiomatic study / par Cantini, Andrea. Publication : . 1 online resource (xii, 461 pages) : Disponibilité :  http://www.sciencedirect.com/science/book/9780444823069,  http://www.sciencedirect.com/science/publication?issn=0049237X&volume=135,

Ajouter au panier
Admissibility of logical inference rules / par Rybakov, Vladimir V. Publication : . 1 online resource (617 pages) : Disponibilité :  http://www.sciencedirect.com/science/book/9780444895059,  http://www.sciencedirect.com/science/publication?issn=0049237X&volume=136,

Ajouter au panier
Logic-based decision support : mixed integer model formulation / par Jeroslow, Robert G., Publication : . 1 online resource (xv, 222 pages) : Disponibilité :  http://www.sciencedirect.com/science/book/9780444871190,  http://www.sciencedirect.com/science/publication?issn=01675060&volume=40,

Ajouter au panier
A theory of sets / par Morse, Anthony P. Publication : . 1 online resource (xxxi, 130 pages) Disponibilité :  http://www.sciencedirect.com/science/book/9780123745675,  http://www.sciencedirect.com/science/publication?issn=00798169&volume=18,

Ajouter au panier
Intensional and higher-order modal logic : with applications to Montague semantics / par Gallin, Daniel. Publication : . 1 online resource (vii, 148 pages) , Originally presented as the author's thesis, University of California, Berkeley, 1972. Disponibilité :  http://www.sciencedirect.com/science/book/9780444110022,  http://www.sciencedirect.com/science/publication?issn=03040208&volume=19,

Ajouter au panier
Computability, complexity, logic / par Börger, E. Publication : . 1 online resource (xx, 592 pages) : , Translation of: Berechenbarkeit, Komplexität, Logik. Disponibilité :  http://www.sciencedirect.com/science/book/9780444874061,  http://www.sciencedirect.com/science/publication?issn=0049237X&volume=128,

Ajouter au panier
Constructive order types par Crossley, John N. Publication : . 1 online resource (225 pages). Disponibilité :  http://www.sciencedirect.com/science/book/9780444534200,

Ajouter au panier
Non-standard analysis. par Robinson, Abraham, Publication : . 1 online resource (xi, 293 pages) , On label mounted on t.p.: New York, Humanities Press. Disponibilité :  http://www.sciencedirect.com/science/book/9780444534071,

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