Aspects algorithmiques de la recherche locale co-évolutionnaire pour la satiffaisabilité maximale,incrémentale et maximale partielle en logique propositionnelle / Mohamed El Bachir Menai
Aspects algorithmiques de la recherche locale co-évolutionnaire pour la satiffaisabilité maximale,incrémentale et maximale partielle en logique propositionnelle [] / Mohamed El Bachir Menai ; Univ. de Constantine, Éditeur scientifique ; Mohamed Chawki Batouche, Directeur de thèse . - 2005 . - 119 p. 01 Disponible à la salle de recherche 02 Disponibles au magazin de la bibliothèque centrale
|
Exemplaires (1)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
MEN/4270 | MEN/4270 | Thèse | Bibliothèque principale | Thèses | Disponible |