Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1252870167
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1252870167 |
Titel | Succinct Arguments: Constructions and Applications / Russell W. F. Lai ; Gutachter: Dominique Schröder, Yuval Ishai, Dario Fiore ; Betreuer: Dominique Schröder |
Person(en) |
Lai, Russell W. F. (Verfasser) Schröder, Dominique (Akademischer Betreuer) Schröder, Dominique (Gutachter) Ishai, Yuval (Gutachter) Fiore, Dario (Gutachter) |
Verlag | Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU) |
Zeitliche Einordnung | Erscheinungsdatum: 2022 |
Umfang/Format | Online-Ressource (pdf) |
Hochschulschrift | Dissertation, Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2022 |
Persistent Identifier | URN: urn:nbn:de:bvb:29-opus4-185439 |
URL | https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/18543 (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
DDC-Notation | 005.82 (maschinell ermittelte DDC-Kurznotation) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |
