Identifiant pérenne de la notice : 152104046
Notice de type
Personne
Sat4j : un moteur libre de raisonnement en logique propositionnelle : habilitation
à diriger des recherches / par Daniel Le Berre, 2010
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