Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

Vom 10. September 2025, 13 Uhr, bis 11. September 2025, 22 Uhr, kann es zu Einschränkungen bei der Bereitstellung von Medienwerken kommen. Wir informieren Sie per E-Mail über den aktuellen Stand Ihrer Bestellungen. // From 13:00 on 10 September 2025 until 22:00 on 11 September 2025, there may be restrictions on the provision of media works. We will inform you by email about the current status of your orders.

Ergebnis der Suche nach: dcs=006.3*

Zurück zur Trefferliste

Treffer 246 von 922


Link zu diesem Datensatz	https://d-nb.info/1046798448
Art des Inhalts	Hochschulschrift
Titel	Planning and Verification in the agent language Golog / vorgelegt von Jens Claßen
Person(en)	Claßen, Jens (Verfasser)
Zeitliche Einordnung	Erscheinungsdatum: 2013
Umfang/Format	XIV, 323 S. : Ill., graph. Darst. ; 30 cm
Andere Ausgabe(n)	Erscheint auch als Online-Ausgabe: Claßen, Jens: Planning and verification in the agent language Golog
Hochschulschrift	Aachen, Techn. Hochsch., Diss., 2013 (Nicht für den Austausch)
Sprache(n)	Englisch (eng)
Schlagwörter	Künstliche Intelligenz, Wissensrepräsentation, Schlussfolgern, Automatische Handlungsplanung, Programmverifikation
DDC-Notation	006.3 [DDC22ger]; 005.133 [DDC22ger]
Sachgruppe(n)	004 Informatik ; 621.3 Elektrotechnik, Elektronik
Weiterführende Informationen	Inhaltsverzeichnis

Frankfurt	Signatur: 2014 B 4207 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt
Leipzig	Signatur: 2014 B 9309 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig

Treffer 246 von 922

Aktionen

MARC21-XML-Repräsentation dieses Datensatzes

Korrekturanfrage

Administration