Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01561114

Verlag 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... Vollständige Beschreibung

Libristo-Code: 01561114

528 b

215.79 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Asphalt Massaka 3 Farid Bang

Audio CD

24.99 €

MOLINS DEL COLLSACABRA FRANCESC ROMA I CASANOVAS

Hardcover

18.69 €

principle of planetary revolution and rotation Liu Dongfeng Liu

Broschur

16.19 €

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

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Finite Model Theory

Autor Heinz-Dieter Ebbinghaus, Jörg Flum

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2005

Anzahl der Seiten 360

EAN 9783540287872

ISBN 3540287876

Libristo-Code 01561114

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

Gewicht 1550

Abmessungen 155 x 235 x 27

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Mathematik und Naturwissenschaften > Mathematik > Angewandte Mathematik > Mathematische Modellierung

EDV und Informationstechnologie > Informatik > Theoretische Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert