> Detailanzeige

Zarrieß, Benjamin [VerfasserIn] ; Baader, Franz [AkademischeR BetreuerIn]; Sardina, Sebastian [AkademischeR BetreuerIn] Technische Universität Dresden

Verification of Golog programs over description logic actions

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Als RIS exportieren Als BibTeX exportieren Als EndNote exportieren

Schließen

Merkliste

Medientyp: Buch; Hochschulschrift
Titel: Verification of Golog programs over description logic actions
Beteiligte: Zarrieß, Benjamin [VerfasserIn]; Baader, Franz [AkademischeR BetreuerIn]; Sardina, Sebastian [AkademischeR BetreuerIn]
Körperschaft: Technische Universität Dresden
Erschienen: Dresden, 2. November 2017
Umfang: iv, 247 Seiten; Illustrationen
Sprache: Englisch
RVK-Notation: ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge
Schlagwörter: ALGOL > Logische Programmiersprache
Entstehung:
Hochschulschrift: Dissertation, Technische Universität Dresden, 2017
Anmerkungen:

Exemplare

(0)

Bereichsbibliothek DrePunct – Magazin

Signatur: 2020 4 002596
Barcode: 33059907

Status: Ausleihbar, bitte bestellen

> Bestellen möglich - bitte anmelden

Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung

Zentralbibliothek – Magazin

Signatur: 2020 4 002597
Barcode: 33059908

Status: Bestellen zur Benutzung im Haus, kein Versand per Fernleihe, nur Kopienlieferung

> Bestellen möglich - bitte anmelden

Bestellungen, die von Mo - Fr bis 13 Uhr eingehen, werden voraussichtlich am selben Tag für Sie bereitgestellt.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Bereichsbibliothek DrePunct – Magazin

Zentralbibliothek – Magazin