Modèles Logiques de l'Interaction Intelligente

Projet: Recherche

Détails du projet

Description

{description_courte}
L'acronymeLogiCCC
statutFini
Les dates de début/date réelle9/12/0731/12/11

mots-clés

  • Theorie des jeux
  • vérification de programmes
  • verification de programmes
  • logique modale
  • Théorie des jeux
  • logique