Hochschulschrift

Modelling and verifying abilities of rational agents

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783942216418
Maße
21 cm
Umfang
344 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Zugl.: Clausthal, Techn. Univ., Diss., 2010

Schlagwort
Agent
Mehragentensystem
Spieltheorie
Temporale Logik
Komplexitätstheorie
Model Checking

Ereignis
Veröffentlichung
(wo)
Clausthal-Zellerfeld
(wer)
Papierflieger-Verl.
(wann)
[2010?]
Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:17 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

Entstanden

  • [2010?]

Ähnliche Objekte (12)