TY -
GEN
AU - Baldoni, Matteo
AU - Bentahar, Jamal
AU - Lloyd, John
AU - Riemsdijk, M. Birna
TI -
Declarative Agent Languages and Technologies VII
7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
PB - Springer Berlin Heidelberg
SN - 9783642113550
KW - Computer Communication Networks
KW - Logic design
KW - Computer Science
KW - Computer science
KW - Software engineering
KW - Artificial intelligence
KW - Computer networks .
KW - Compilers (Computer programs).
KW - Konferenzschrift 2009 Budapest
KW - Mehragentensystem
KW - Deklarative Programmiersprache
KW - Formale Spezifikationstechnik
KW - Verifikation
KW - Autonomer Agent
KW - Formale Methode
KW - Wissensrevision
KW - Inferenz Künstliche Intelligenz
KW - Logische Programmierung
PY - 2010
BT - Lecture Notes in Computer Science ; 5948
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -