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:
QR Code: Show QR Code