paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne : 070686831Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Audemard, Gilles (1972-)

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : français
Pays : France
Date de naissance :    1972
Genre : Masculin

Notes

Note publique d'information : 
Né à Aix-en-Provence (Bouches-du-Rhône), auteur d'une thèse en Informatique

Note publique d'information : 
Professeur chercheur Université d'Artois (France), et au centre de recherche en informatique de Lens (CRIL)

Source

Inférence et certificats pour le problème de satisfiabilité maximum / Matthieu Py ; sous la direction de Djamal Habet. Thèse de doctorat : Informatique : Aix-Marseille : 2021. Site internet consulté en 2022: http://www.cril.univ-artois.fr/~audemard/

Résolution du problème SAT et génération de modèles finis en logique du premier ordre / Gilles Audemard, 2001

Autres identifiants

Identifiant VIAF : http://viaf.org/viaf/197050274
Identifiant ISNI : 0000000140516616

Utilisation dans Rameau

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

... Références liées : ...