IMIST


Votre recherche a retourné 2 résultats.

Hybrid logic and its proof-theory par Braüner, Torben. Publication : Dordrecht | New York Springer. 2011 . xiii, 231 pages 24 cm. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Reasoning robots The art and science of programming robotic agents par Thielscher, Michael Publication : Dordrecht Springer 2010 . xiii, 327 pages 25 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

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