[ACM Press the fifth international joint conference -...

  • Main
  • [ACM Press the fifth international...

[ACM Press the fifth international joint conference - Hakodate, Japan (2006.05.08-2006.05.12)] Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems - AAMAS '06 - Model checking for multivalued logic of knowledge and time

Konikowska, Beata, Penczek, Wojciech
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Année:
2006
Langue:
english
DOI:
10.1145/1160633.1160661
Fichier:
PDF, 283 KB
english, 2006
La conversion en est effectuée
La conversion en a échoué