Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Finite Model Theory

Limba englezăengleză
Carte Copertă tare
Carte Finite Model Theory Heinz-Dieter Ebbinghaus
Codul Libristo: 01561114
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octombrie 2005
Finite model theory has roots in classical model theory, but owes its systematic development to rese... Descrierea completă
? points 480 b
1 052.32 lei
În depozitul extern Expediem în 14-21 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Rejestr grozy. Przewodnik po technikach narracyjnych Paweł Wielopolski / Carte Carte broșată
common.buy 102.34 lei
Asphalt Massaka 3 Farid Bang / Audio Audio CD
common.buy 133.85 lei
Morte di un burlone. I casi di Hamish Macbeth M. C. Beaton / Carte Carte broșată
common.buy 73.17 lei
ETCHING AND ENGRAVIN CHAMBERLAIN Carte Carte broșată
common.buy 127.30 lei
1000 kaunist paika, kust leida vaikust ja rahu / Carte Copertă tare
common.buy 325.87 lei
Jujutsu Kaisen - Shibuya Incident - Staffel 2 - Vol.2 - DVD Shouta Goshozono / Videoclip DVD
common.buy 152.06 lei
Die Verlobung des Monsieur Hire Georges Simenon / E-book Adobe ePub DRM
common.buy 63.97 lei
principle of planetary revolution and rotation Liu Dongfeng Liu / Carte Carte broșată
common.buy 86.80 lei
GeschGehG Thomas Hoeren / Carte Copertă tare
common.buy 643.24 lei
MOLINS DEL COLLSACABRA FRANCESC ROMA I CASANOVAS / Carte Copertă tare
common.buy 94.92 lei
Jugando Helen Oxenbury / Carte Copertă tare
common.buy 47.80 lei
Neidhart - ein Minnesanger Lisa Vogt / Carte Carte broșată
common.buy 90.70 lei

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

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Finite Model Theory
Autor Heinz-Dieter Ebbinghaus, Jörg Flum
Limba engleză
Legare Carte - Copertă tare
Data publicării 2005
Număr pagini 360
EAN 9783540287872
ISBN 3540287876
Codul Libristo 01561114
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1550
Dimensiuni 155 x 235 x 27

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Applied mathematics > Mathematical modelling
Computing & Information Technology > Computer science > Mathematical theory of computation
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Recursion Theory Week Heinz-Dieter Ebbinghaus / Carte Carte broșată
common.buy 288.18 lei
d-d Excitations in Transition-Metal Oxides Bärbel Fromme / Carte Carte broșată
common.buy 288.38 lei
Uniforms of the Waffen-SS: Vol 2 Michael D. Beaver / Carte Copertă tare
common.buy 324.77 lei
Feral Sins Suzanne Wright / Carte Carte broșată
common.buy 53.72 lei
Higher Education of Women Helene Lange / Carte Carte broșată
common.buy 100.60 lei
The Prediabetes Diet Plan Hillary Wright / Carte Carte broșată
common.buy 78.48 lei
Top
Tokyo Jazz Joints Philip Arneill / Carte Copertă tare
common.buy 225.53 lei
Ancient Encounters: Kennewick Man and the First Americans James C. Chatters / Carte Carte broșată
common.buy 96.39 lei
Top
Taxidermy Vol. 13 Mounting - An Instructional Guide to the Methods of Mounting Mammals, Birds and Reptiles Various / Carte Carte broșată
common.buy 116.97 lei
The Bedford-Row Conspiracy William Makepeace Thackeray / Carte Carte broșată
common.buy 72.50 lei
A Christmas Carol: Retold In Rhyme Carolyn McCartney / Carte Carte broșată
common.buy 47.56 lei
Top
Beyond Order Jordan B. Peterson / Carte Carte broșată
common.buy 61.34 lei
The Speech of the Right Hon. George Canning, Volume 4... George Canning / Carte Carte broșată
common.buy 149.64 lei
Top
21st Century Boys: The Perfect Edition, Vol. 1 Naoki Urasawa / Carte Carte broșată
common.buy 103.84 lei
Revealing Lives Susan Groag Bell / Carte Copertă tare
common.buy 646.94 lei
Basic Engineering Thermodynamics P.B. Whalley / Carte Carte broșată
common.buy 590.81 lei
Top Curând
face2face Elementary Workbook with Key Chris Redston / Carte Carte broșată
common.buy 74.47 lei
Politics of Provisions John Bohstedt / Carte Copertă tare
common.buy 1 353.04 lei
Innovation in Technologies Rupa Pal / Carte Copertă tare
common.buy 434.31 lei
Top
Soul of an Octopus Sy Montgomery / Carte Carte broșată
common.buy 55.22 lei
Chemical Ecology of Plants: Allelopathy in Aquatic and Terrestrial Ecosystems nderjit / Carte Copertă tare
common.buy 575.47 lei
Top
White Rose Maths Practice Journals Year 3 Workbook: Single Copy (Paperback) Caroline Hamilton / Carte Carte broșată
common.buy 49.71 lei
Blue Exorcist, Vol. 10 Kazue Kato / Carte Carte broșată
common.buy 48.61 lei
Never Look at the Empty Seats Charlie Daniels / E-book Adobe ePub DRM
common.buy 96.60 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?