The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies / ALBERTI M.; CHESANI F.; GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P.. - STAMPA. - 3267:(2005), pp. 314-339. (Intervento presentato al convegno IST/FET International Workshop, GC tenutosi a Rovereto nel March 9-12, 2004) [10.1007/978-3-540-31794-4_17].
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies
CHESANI, FEDERICO;MELLO, PAOLA;TORRONI, PAOLO
2005
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.