Algorithmic Solutions via Model Theoretic Interpretations

Aachen (2016, 2017) [Doktorarbeit]

Seite(n): 1 Online-Ressource (199 Seiten) : Illustrationen

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Abu Zaid, Faried

Identifikationsnummern

  • REPORT NUMBER: RWTH-2017-07663