Identifiant pérenne : 157527808
Notice de type
Personne
Satisfiabilité propositionnelle et raisonnement par contraintes: modèles et algorithmes
/ par Jean-Marie Lagniez, sous la direction de Lakhdar Saïs, 2011
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial