Algorithmic solutions via model theoretic interpretations

Bibliographic Details
Main Author: Abu Zaid, Faried
Format: eBook
Language:English
Published: Aachen 2016
Physical Description:1 Online-Ressource (199 Seiten) Illustrationen
DOI:10.18154/RWTH-2017-07663
Subjects:
Further Information:https://publications.rwth-aachen.de/record/698352/files/698352.pdf
http://dx.doi.org/10.18154/RWTH-2017-07663
Volltext
Volltext
kostenfrei
urn:nbn:de:101:1-2018071007153412883816
QR Code: Show QR Code