Konferenzschrift | Kongress
Model checking and artificial intelligence : 5th international workshop ; revised selected and invited papers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642004308
- Dimensions
-
24 cm
- Extent
-
188 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 5348 : Lecture notes in artificial intelligence
- Keyword
-
Künstliche Intelligenz
Model Checking
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2009
- Contributor
- 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, 1:51 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
- Peled, Doron
- MoChArt (5 : 2008 : Patras)
- Springer
Time of origin
- 2009
Other Objects (12)
Model checking and artificial intelligence : 6th international workshop ; revised selected and invited papers
Programming multi-agent systems : 5th international workshop ; revised and invited papers
Agents and peer-to-peer computing : 5th international workshop ; revised and invited papers
Computational logic in multi-agent systems : 5th international workshop ; revised selected and invited papers
Agents and artificial intelligence : 5th international conference ; revised selected papers
Enabling real-time business intelligence : 5th international workshop ; revised selected papers
Web intelligence meets brain informatics : first WICI international workshop ; revised selected and invited papers
Agent communication : revised selected and invited papers
Agent mediated knowledge management : revised and invited papers
Advances in agent communication : revised and invited papers
Computational intelligence methods for bioinformatics and biostatistics : 5th international meeting ; revised selected papers
Advances in computational intelligence : plenary, invited lectures
Model checking and artificial intelligence : 6th international workshop ; revised selected and invited papers
Programming multi-agent systems : 5th international workshop ; revised and invited papers
Agents and peer-to-peer computing : 5th international workshop ; revised and invited papers
Computational logic in multi-agent systems : 5th international workshop ; revised selected and invited papers
Agents and artificial intelligence : 5th international conference ; revised selected papers
Enabling real-time business intelligence : 5th international workshop ; revised selected papers
Web intelligence meets brain informatics : first WICI international workshop ; revised selected and invited papers
Agent communication : revised selected and invited papers
Agent mediated knowledge management : revised and invited papers
Advances in agent communication : revised and invited papers
Computational intelligence methods for bioinformatics and biostatistics : 5th international meeting ; revised selected papers
Advances in computational intelligence : plenary, invited lectures
Model checking and artificial intelligence : 6th international workshop ; revised selected and invited papers
Programming multi-agent systems : 5th international workshop ; revised and invited papers
Agents and peer-to-peer computing : 5th international workshop ; revised and invited papers
Computational logic in multi-agent systems : 5th international workshop ; revised selected and invited papers
Agents and artificial intelligence : 5th international conference ; revised selected papers
Enabling real-time business intelligence : 5th international workshop ; revised selected papers
Web intelligence meets brain informatics : first WICI international workshop ; revised selected and invited papers
Agent communication : revised selected and invited papers
Agent mediated knowledge management : revised and invited papers
Advances in agent communication : revised and invited papers
Computational intelligence methods for bioinformatics and biostatistics : 5th international meeting ; revised selected papers