Identifiant pérenne de la notice : 191135062
Notice de type
Personne
Outils pour la déduction automatique dans les théories associative-commutatives /
Éric Domenjoud ; sous la direction de Claude Kirchner, 1991
Information trouvée : bTitulaire d'un doctorat de l'Université Nancy 1 en 1991
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