Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5 7, 2000 : revised papers

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000. The 22 revised full papers presented together with 13 posters and two panel discussion reports were c...

Fuld beskrivelse

Enregistré dans:
Bibliografiske detaljer
Institution som forfatter: International Workshop on Formal approaches to agent-based systems :Greenbelt, Md.
Andre forfattere: Truszkowski, Walt, 1939- (Directeur de la publication), Rouff, Christopher A., 1960- (Directeur de la publication), Rash, James L., 1941- (Directeur de la publication)
Format: Livre numérique
Sprog:Anglais
Udgivet: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Serier:Lecture notes in computer science. Lecture notes in artificial intelligence 1871
Fag:
Online adgang:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Kommentar: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Formal approaches to agent-based systems, First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000, revised papers, James L. Rash, Christopher A. Rouff, Walter Truszkowski ... [et al.] (eds.), 2001, Berlin, Springer, 1 volume (IX-368 pages), Lecture notes in computer science, 3-540-42716-3
• Formal Approaches to Agent-Based Systems, Texte imprimé, 9783662179260

Internet

Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL