@misc
{TN_libero_mab2,
author = {
Baldoni, Matteo
Bentahar, Jamal
AND
Lloyd, John
AND
Riemsdijk, M. Birna
},
title = {
Declarative Agent Languages and Technologies VII
7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
},
publisher = {Springer Berlin Heidelberg},
isbn = {9783642113550},
keywords = {
Computer Communication Networks
,
Logic design
,
Computer Science
,
Computer science
,
Software engineering
,
Artificial intelligence
,
Computer networks .
,
Compilers (Computer programs).
,
Konferenzschrift 2009 Budapest
,
Mehragentensystem
,
Deklarative Programmiersprache
,
Formale Spezifikationstechnik
,
Verifikation
,
Autonomer Agent
,
Formale Methode
,
Wissensrevision
,
Inferenz Künstliche Intelligenz
,
Logische Programmierung
},
year = {2010},
booktitle = {Lecture Notes in Computer Science ; 5948},
booktitle = {SpringerLink ; Bücher},
address = {
Berlin, Heidelberg
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}