Bibliothèque Universitaire Mohamed Sekkat

Panier vide.

Votre recherche a retourné 2 résultats. S'abonner à cette recherche

Ne pas surligner Surligner
|
1.
Logique Mathématique : 1. Calcul proportionnel, algèbre de Boole Calcul des prédicats / René Cori [ Livre] [ Livre]Publication : Daniel Lascar : Dunod, Paris, 2003Description : 359 p. ; 24 cm.Disponibilité : Exemplaires empruntables:Bibliothèque de la Faculté des Sciences Aïn Chock[511.3 COR] (2), Bibliothèque de la Faculté des Sciences Ben M’Sick[512(076)] (1), Bibliothèque Universitaire Mohamed Sekkat[511.3 COR] (3).

Réserver Ajouter au panier
2.
Logique et démonstration automatique [ Livre] : introduction à la logique propositionnelle et à la logique du premier ordre / Stéphane Devismes,... Pascal Lafourcade,... Michel Lévy,...Publication : Paris : Ellipses, 2012.Description : 1 vol. (209 p.) : fig., tabl., couv. ill. en coul. ; 26 cmDisponibilité : Exemplaires empruntables:Bibliothèque Universitaire Mohamed Sekkat[511.3 DEV] (1).

Réserver Ajouter au panier

© tous droits réservés 2023 | Bibliothèque Universitaire Mohamed Sekkat
Site web http://bums.univh2c.ma/
E-mail : [email protected]
Tél : +212 666 036 169 / 666 035 560

Propulsé par Koha