Main menu

Skip to content
  • GDR IA
  • Présentation
    • Présentation
    • Pilotage
  • Groupes de Travail
    • GT A&R
    • GT CAVIAR
    • GT Explicabilité
    • GT Jeux
    • GT MAFTEC
    • GT Médiation
    • GT RAP
    • Proposition de GT
  • Activités Inter-GDR
    • GT BIOSS-IA (GDR BIM – GDR IM)
    • GT IMIA (GDR IM)
    • GT TADJ (GDR RO)
    • GT RoceD (GDR MADICS)
    • GDR ISIS (Apprentissage et Raisonnement)
    • Journée Industrielle (RO/IA)
  • Séminaires
  • Activités
  • Bulletin
  • Annuaire
  • Inscription
  • Annonces
  • Qu’est-ce que l’IA ?
GDR IA
Aspects Formels et Algorithmiques de l'Intelligence Artificielle
See More

Page personnelle

Bertrand Mazure

Professeur – CRIL, Universite d’Artois

Page personnelle

Thèmes :

PPC – Contraintes et SAT

Mots-clés :

  • SAT
  • CSP
  • QBF

Modifier vos informations

Tweet

Menu

  • GDR IA
  • Présentation
  • Séminaires
  • Activités
  • Groupes de Travail
  • Bulletin
  • Annuaire
  • Inscription
  • Annonces
  • Contact
  • Qu’est-ce que l’IA ?

Print Friendly, PDF & EmailImprimer


Copyright © 2023 GDR IA. All Rights Reserved. The Arcade Basic Theme by bavotasan.com.