Résolution parallèle des langages logiques à contraintes.

Recherche en cours

Auteur	BELACHE, Mohamed
Directeur de thèse	DOURARI Abderezzak (Docteur)
Filière	Informatique
Diplôme	Doctorat
Titre	Résolution parallèle des langages logiques à contraintes.
Statut	Vérifié