Endliche und algorithmische Modelltheorie (London Mathematical Society Vorlesungsnotiz
64,49 €
Among the topics discussed are: algorithmic model theory, descriptive complexity theory, finite model theory, finite variable logic, model checking, model theory for restricted classes of finite structures, and spatial databases.
Jetzt bei Ebay:
