Your search returned 5 results.

1.
Calcul formel : systèmes et algorithmes de manipulations algébriques by Davenport, J. Publication: Paris | Milan | Barcelone | Bonn Masson 1993 . 275 p. Date: 1993 Availability: Items available: Bibliothèque Universitaire Centrale [510 DAV] (1),
2.
Algorithmes et architectures systoliques by Quinton, Patrice Publication: Paris Masson 1989 . 353 p. Date: 1989 Availability: Items available: Bibliothèque Universitaire Centrale [510 QUI] (1),
Open Library:
3.
Logique mathématique : cours et exercices : fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. by Cori, René Publication: Paris : Masson, 1993 . XV-347 p. , Index pp.335-347 24 cm Date: 1993 Availability: Items available: Bibliothèque Universitaire Centrale [517.11 COR] (1),
Open Library:
4.
Mathémathiques pour l'informatique by Arnold, A. Publication: Paris | Milan | Barcelone Masson 1993 . 349p. Date: 1993 Availability: Items available: Bibliothèque Universitaire Centrale [517.11 ARN] (1),
Open Library:
5.
Logique mathématique : cours et exercices, Tome 1, Calcul propositionnel, algèbres de Bole, calcul des prédicats by Cori, René Publication: Paris | Milan | Barcelone Masson 1994 . 385p. Date: 1994 Availability: Items available: Bibliothèque Universitaire Centrale [517.11 COR] (1), Bibliothèque Universitaire Centrale [517.11 COR] (1),
Open Library:


© 2008, Bibliothèques de l'Université d'Abomey-Calavi

04 BP 789 Cotonou, Tél. : +229 21 36 01 01, Fax : +229 21 35 06 32

Courriel : bu@bu.uac.bj