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...

पूर्ण विवरण

में बचाया:
ग्रंथसूची विवरण
निगमित लेखक: International Workshop on Formal approaches to agent-based systems :Greenbelt, Md.
अन्य लेखक: Truszkowski, Walt, 1939- (प्रकाशन निदेशक), Rouff, Christopher A., 1960- (प्रकाशन निदेशक), Rash, James L., 1941- (प्रकाशन निदेशक)
स्वरूप: Livre numérique
भाषा:Anglais
प्रकाशित: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
श्रृंखला:Lecture notes in computer science. Lecture notes in artificial intelligence 1871
विषय:
ऑनलाइन पहुंच:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
टिप्पणी: 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

समान संसाधन