Konferenzschrift | Kongress
Formal approaches to agent based systems : first international workshop ; revised papers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540427162
3540427163
- Dimensions
-
24 cm
- Extent
-
IX, 368 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 1871 : Lecture notes in artificial intelligence
- Keyword
-
Mehragentensystem
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo
- (who)
-
Springer
- (when)
-
2001
- Contributor
-
Rash, James L.
FAABS (1 : 2000 : Greenbelt, Md.)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:24 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Rash, James L.
- FAABS (1 : 2000 : Greenbelt, Md.)
- Springer
Time of origin
- 2001
Other Objects (12)
Formal approaches to software testing : revised papers
Formal approaches to software testing and runtime verification : revised selected papers
Agent computing and multi-agent systems : revised papers
Advanced agent technology : revised selected papers
Agent communication : revised selected and invited papers
Multi-agent and multi-agent-based simulation : revised selected papers
Formal methods: foundations and applications : revised selected papers
Formal methods : foundations and applications : revised selected papers
Formal grammar : 14th international conference ; revised selected papers
Massively multi-agent technology : selected and revised papers
Multi-agent systems for society : revised selected papers
Advances in agent communication : revised and invited papers
Formal approaches to software testing : revised papers
Formal approaches to software testing and runtime verification : revised selected papers
Agent computing and multi-agent systems : revised papers
Advanced agent technology : revised selected papers
Agent communication : revised selected and invited papers
Multi-agent and multi-agent-based simulation : revised selected papers
Formal methods: foundations and applications : revised selected papers
Formal methods : foundations and applications : revised selected papers
Formal grammar : 14th international conference ; revised selected papers
Massively multi-agent technology : selected and revised papers
Multi-agent systems for society : revised selected papers
Advances in agent communication : revised and invited papers
Formal approaches to software testing : revised papers
Formal approaches to software testing and runtime verification : revised selected papers
Agent computing and multi-agent systems : revised papers
Advanced agent technology : revised selected papers
Agent communication : revised selected and invited papers
Multi-agent and multi-agent-based simulation : revised selected papers
Formal methods: foundations and applications : revised selected papers
Formal methods : foundations and applications : revised selected papers
Formal grammar : 14th international conference ; revised selected papers
Massively multi-agent technology : selected and revised papers
Multi-agent systems for society : revised selected papers