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

Point d'accès autorisé

Audemard, Gilles (1972-....)

Sur le web

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)

Identifiants externes

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

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

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