Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Thèses et habilitations
Production scientifique
Habilitation à diriger des recherches de

Habilitation à diriger des recherches
Equipe : Intelligence Artificielle et Systèmes d'Inférence

Logique Propositionnelle : un langage simple, des problèmes complexes

Début le 01/01/1970
Direction :

Ecole doctorale : ED STIC 580
Etablissement d'inscription : Université Paris-Sud

Lieu de déroulement : LRI INRIA SACLAY

Soutenue le 13/12/2010 devant le jury composé de :
- Christian Bessière, de l'Université Montpellier 2,
- Armin Biere, de l'Université Johannes Kepler, Autriche
- Philippe Dague, de l'Université Orsay Paris Sud 11
- Philippe Jégou, de l'Université Paul Cézanne, Aix-Marseille 3
- Bertrand Mazure, de l'Université d'Artois
- Lakhdar Saïs, de l'Université d'Artois
.

Activités de recherche :

Résumé :