> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Algorithmic Solutions via Model Theoretic Interpretations Weitere Titel: Algorithmische Lösungskonzepte basierend auf modelltheoretischen Interpretationen Beteiligte: Abu Zaid, Faried [Verfasser]; Grädel, Erich [Akademischer Betreuer]; Kuske, Dietrich [Akademischer Betreuer] Erschienen: Aachen: Universitätsbibliothek der RWTH Aachen, 2016 Umfang: Online-Ressource Sprache: Englisch DOI: 10.18154/RWTH-2017-07663 Identifikator: Entstehung: Hochschulschrift: Dissertation, RWTH Aachen University, 2016 Anmerkungen: Zugangsstatus: Freier Zugang