> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Choiceless computation and logic Weitere Titel: Auswahlfreie Berechnungsmodelle und Logik Beteiligte: Schalthöfer, Svenja [Verfasser]; Grädel, Erich [Akademischer Betreuer]; Dawar, Anuj [Akademischer Betreuer] Erschienen: Aachen: Universitätsbibliothek der RWTH Aachen, 2019 Umfang: Online-Ressource Sprache: Englisch DOI: 10.18154/RWTH-2020-00549 Identifikator: Schlagwörter: Logic Entstehung: Hochschulschrift: Dissertation, RWTH Aachen University, 2019 Anmerkungen: Zugangsstatus: Freier Zugang