langue originale | Anglais |
---|---|
titre | Proc. Symposium on Logic in Games and Multiagent Systems |
Sous-titre | Liverpool, July 2002 |
rédacteurs en chef | Marc Pauly |
Etat de la publication | Publié - 2003 |
Symbolic Synthesis for ATL*
Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque