Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Finite Model Theory

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

Heinz-Dieter Ebbinghaus

Jörg Flum

Taal

Engels

Boek Gebonden (harde band)

Libristo-code: 01561114

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, oktober 2005

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

Libristo-code: 01561114

504 b

208.55 €

In extern magazijn Wordt binnen 10-18 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Asphalt Massaka 3 Farid Bang

Audio cd

24.09 €

MOLINS DEL COLLSACABRA FRANCESC ROMA I CASANOVAS

Gebonden (harde band)

18.11 €

principle of planetary revolution and rotation Liu Dongfeng Liu

Gebonden (paperback)

15.68 €

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.§

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Finite Model Theory

Auteur Heinz-Dieter Ebbinghaus, Jörg Flum

Taal

Engels

Bindwijze Boek - Gebonden (harde band)

Datum van uitgifte 2005

Aantal pagina's 360

EAN 9783540287872

ISBN 3540287876

Libristo-code 01561114

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 1550

Afmetingen 155 x 235 x 27

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica

Wiskunde en wetenschap > Wiskunde > Toegepaste wiskunde > Wiskundige modellering

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger