Résultat de recherche par an
Résultat de recherche par an
Détails du projet
Description
{description_courte}
| Acronyme | ModelAge |
|---|---|
| statut | Fini |
| Les dates de début/date réelle | 1/09/93 → 31/03/97 |
mots-clés
- logique orientee agent
- logique modale
- raisonnement automatique
- modele formel
- modèle formel
- agent
- logique orientée agent
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.
Résultat de recherche
- 1 Livre
-
Formal Models of Agents
Meyer, J-J. C. (Ed.) & Schobbens, P-Y. (Ed.), 1999, Springer Verlag. 251 p. (Lecture Notes in Computer Science; Vol 1760)Résultats de recherche: Livre/Rapport/Revue › Livre