Declarative agent languages and technologies VI 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
2009
|
| Schriftenreihe: | Lecture notes in computer science
5397 |
| Schlagworte: |
Programming languages (Electronic computers)
> Congresses
> Declarative programming
> Intelligent agents (Computer software)
> Konferenzschrift
> Mehragentensystem
> Deklarative Programmiersprache
> Formale Spezifikationstechnik
> Verifikation
> Autonomer Agent
> Formale Methode
> Wissensrevision
> Inferenz
> Logische Programmierung
|
| Online Zugang: | Inhaltstext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | Literaturangaben |
|---|---|
| Beschreibung: | X, 250 S. graph. Darst. 235 mm x 155 mm |
| ISBN: | 3540939199 3-540-93919-9 9783540939191 978-3-540-93919-1 |