Formal Approaches to Agent-Based Systems First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Rash, James L. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Rouff, Christopher A. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Truszkowski, Walter (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Gordon, Diana (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Hinchey, Michael G. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Artificial Intelligence ; 1871
• Θέματα: Artificial intelligence.; Architecture, Computer.; Software engineering.; Computer logic.; Mathematical logic.; Artificial Intelligence.; Computer System Implementation.; Software Engineering/Programming and Operating Systems.; Logics and Meanings of Programs.; Software Engineering.; Mathematical Logic and Formal Languages.

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