Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten 24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations.
 
 

Ergebnis der Suche nach: dcs=006.3*

Zurück zur Trefferliste


Treffer 478 von 925 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/1011750244
Art des Inhalts Hochschulschrift
Titel Modelling and verifying abilities of rational agents / by Nils Bulling. [TU Clausthal]
Person(en) Bulling, Nils (Verfasser)
Verlag Clausthal-Zellerfeld : Papierflieger-Verl.
Zeitliche Einordnung Erscheinungsdatum: [2010?]
Umfang/Format 344 S. : graph. Darst. ; 21 cm
Hochschulschrift Zugl.: Clausthal, Techn. Univ., Diss., 2010
ISBN/Einband/Preis 978-3-942216-41-8 (Univ.-Bibliothek Clausthal) kart.
Sprache(n) Englisch (eng)
Schlagwörter Agent <Informatik> ; Mehragentensystem ; Spieltheorie ; Temporale Logik ; Komplexitätstheorie ; Model Checking
DDC-Notation 006.3 [DDC22ger]
Sachgruppe(n) 004 Informatik
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 2014 A 58913
Bereitstellung in Frankfurt
Leipzig Signatur: 2011 A 48761
Bereitstellung in Leipzig




Treffer 478 von 925
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration