Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Finite Model Theory

Name: Finite Model Theory
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561114
Price: 215.79 EUR
Availability: InStock
Author: Heinz-Dieter Ebbinghaus
ISBN: 9783540287872

Heinz-Dieter Ebbinghaus

Jörg Flum

Lingua

Inglese

Libro Rigido

Codice Libristo: 01561114

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ottobre 2005

Finite model theory has roots in classical model theory, but owes its systematic development to rese... Descrizione completa

Codice Libristo: 01561114

528 b

215.79 €

Magazzino esterno Inviamo tra 10-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Asphalt Massaka 3 Farid Bang

CD audio

24.99 €

MOLINS DEL COLLSACABRA FRANCESC ROMA I CASANOVAS

Rigido

17.79 €

GeschGehG Thomas Hoeren

Rigido

133.29 €

principle of planetary revolution and rotation Liu Dongfeng Liu

In brossura

16.19 €

1000 kaunist paika, kust leida vaikust ja rahu

Rigido

64.29 €

Finite model theory has roots in classical model theory, but owes its systematic development to research from complexity theory and database theory. The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, optimization and approximation problems.§