001018200
100
$a
y50
101
$a
fre
2001
$a
Résolution parallèle des langages logiques à contraintes.
$b
ressource électronique
328 1
$b
Doctorat
$c
Informatique
700
$a
BELACHE, mohamed
701
$a
Array
801 0
$a
DZ
$b
CERIST PNST
901
$a
c