CRIL
Centre de Recherche en Informatique de Lens
Recherches en intelligence artificielle et applications
  • Présentation
    • Thématiques
    • Organigramme
    • Actualités
  • Axes de recherche
    • Données
    • Connaissances
    • Contraintes
  • Activités
    • Thèses & HDR
    • Projets/Collaborations/Actions
    • Séminaires
  • Productions scientifiques
    • Publications
    • Logiciels
    • Prix/Récompenses
  • Annuaires
    • Membres
    • Partenaires
  • Informations pratiques
    • Accès
    • Contact
  • Recrutements
  • Français

De la Satisfaisabilité à la Compilation de Bases de Connaissances Propositionnelles

  • Doctorant:
  • Bertrand Mazure
  • Directeur de thèse :
  • Éric Grégoire
  • Co-encadrant de thèse :
  • Lakhdar Saïs
  • Thèse soutenue le :
  • 18 janv. 1999

Membres du jury :

  • J. Chabrier (rapporteur)
  • G. Goncalves
  • É. Grégoire (directeur de thèse)
  • P. Marquis (président)
  • L. Saïs
  • P. Siegel (rapporteur)

CNRS

  • Nous contacter
  • +33 (0)3 21 79 17 23
  • gestion@cril.univ-artois.fr
  • Nos adresses
    pour correspondance
  • FAC UFR des Sciences Jean Perrin
    Rue Jean Souvraz SP 18
    F-62307 Lens Cedex
    France
  •  
     
  • IUT IUT de Lens
    Rue de l’Université SP 16       
    F-62307 Lens Cedex
    France

Artois

Crédits et mentions légales | Intranet