Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: cod="rh"
|
|
|
| Link zu diesem Datensatz | https://d-nb.info/1230214062 |
| Art des Inhalts | Hochschulschrift |
| Titel | Determinization and ambiguity of classical and probabilistic Büchi automata / Anton Pirogov ; Christof Löding, Erika Ábrahám, Sven Schewe |
| Person(en) |
Pirogov, Anton (Verfasser) Löding, Christof (Akademischer Betreuer) Ábrahám, Erika (Akademischer Betreuer) Schewe, Sven (Akademischer Betreuer) |
| Verlag | Aachen : Universitätsbibliothek der RWTH Aachen |
| Zeitliche Einordnung | Erscheinungsdatum: 2021 |
| Umfang/Format | Online-Ressource (pdf) |
| Hochschulschrift | Dissertation, RWTH Aachen University, 2021 |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2021032702232591343574 DOI: 10.18154/RWTH-2021-02027 |
| URL | https://publications.rwth-aachen.de/record/813936 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Schlagwörter | Robots* ; Ambiguity* (*maschinell ermittelt) |
| DDC-Notation | 004.01 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |

