Specification and Verification of Multi-agent Systems /
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | inglés |
| Publicado: |
Nueva York, EUA :
Springer,
2010, c2010
|
| Acceso en liña: | Ver documento en línea |
| Etiquetas: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Títulos similares: Specification and Verification of Multi-agent Systems /
- Programming Multi-Agent Systems : 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers /
- Programming Multi-Agent Systems : First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers /
- Multi-Agent Programming : Languages, Platforms and Applications /
- Knowledge Representation for Agents and Multi-Agent Systems : First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers /
- Computational Logic in Multi-Agent Systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings /
- Programming Multi-Agent Systems : Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers /