G | |
---|---|
[GD12] | Dimitar P. Guelev et Cătălin Dima. Epistemic ATL with Perfect Recall, Past and Strategy Contexts. In CLIMA'12, Lecture Notes in Artificial Intelligence 7486, pages 77-93. Springer-Verlag, août 2012. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1