Détails du projet
Description
{description_courte}
| Acronyme | LogiCCC |
|---|---|
| statut | Fini |
| Les dates de début/date réelle | 9/12/07 → 31/12/11 |
mots-clés
- Theorie des jeux
- vérification de programmes
- verification de programmes
- logique modale
- Théorie des jeux
- logique
Empreinte digitale
Explorez les thèmes de recherche abordés par ce projet. Ces libellés sont générés sur la base des prix/subventions sous-jacents. Ensemble, ils forment une empreinte digitale unique.