Isbn: 9783540004288 - finite model theory and its applications (17 risultati)

Lingua: Inglese
Editore: Berlin/Heidelberg, Springer, 2007
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: avelibro OHG, Dinkelscherben, Germaniaavelibro OHG
Contatta il venditoreVenditore con 5 stelleMembro dell’associazione: BOEV
Condizione: Usato - Ottimo
EUR 49,00
EUR 10,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
8°, gebundene Ausgabe. Condizione: Sehr gut. XI/437 Seiten : Ausgetragenes Bibliotheksexemplar, fast top erhalten B05-03-06A Sprache: Englisch Gewicht in Gramm: 839.

Lingua: Inglese
Editore: Springer, 2007
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Books From California, Simi Valley, CA, U.S.A.Books From California
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Ottimo
EUR 66,73
EUR 4,39 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: Fine.

Lingua: Inglese
Editore: Springer, 2007
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 68,80
EUR 3,30 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.

Finite Model Theory and Its Applications
Vardi, Moshe Y.; Gradel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx
Lingua: Inglese
Editore: Springer, 2007
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 114,52
EUR 2,32 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.

Finite Model Theory and Its Applications
Vardi, Moshe Y.; Gradel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx
Lingua: Inglese
Editore: Springer, 2007
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 123,60
EUR 2,32 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Marx, Maarten; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott
Lingua: Inglese
Editore: Springer, 2007
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 114,27
EUR 13,13 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.

Finite Model Theory and Its Applications
Vardi, Moshe Y.; Gradel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx
Lingua: Inglese
Editore: Springer, 2007
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 112,09
EUR 17,44 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.

Finite Model Theory and Its Applications
Vardi, Moshe Y.; Gradel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx
Lingua: Inglese
Editore: Springer, 2007
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 116,02
EUR 17,44 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.

Lingua: Inglese
Editore: Springer, 2007
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 104,30
EUR 35,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our understanding of mathematical phenomena is enriched by elevating the languages we use to describe mathematical structures to objects of explicit study. If mathematics is the science of patterns, then the media through which we discern patterns, as well as the structures in which we discern them, command our attention. It isthis aspect oflogicwhichis mostprominentin model theory,'thebranchof mathematical logic which deals with the relation between a formal language and its interpretations'. No wonder, then, that mathematical logic, and nite model theory in particular, should nd manifold applications in computer science: from specifying programs to querying databases, computer science is rife with phenomena whose understanding requires close attention to the interaction between language and structure. This volume gives a broadoverviewof some central themes of nite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and arti cial intelligence, es- cially constraint databases and constraint satisfaction problems. The nal chapter provides a concise modern introduction to modal logic,which emp- sizes the continuity in spirit and technique with nite model theory. …

Lingua: Inglese
Editore: Springer, 2007
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 140,19
EUR 3,51 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. xiii + 437 1st Edition.

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Marx, Maarten; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott
Lingua: Inglese
Editore: Springer, 2007
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 137,68
EUR 6,11 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title.

Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2007
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 145,56
EUR 14,53 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. 1st edition. 437 pages. 9.50x6.25x0.75 inches. In Stock.

Lingua: Inglese
Editore: Springer Berlin Heidelberg Apr 2007, 2007
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 96,29
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our understanding of mathematical phenomena is enriched by elevating the languages we use to describe mathematical structures to objects of explicit study. If mathematics is the science of patterns, then the media through which we discern patterns, as well as the structures in which we discern them, command our attention. It isthis aspect oflogicwhichis mostprominentin model theory,'thebranchof mathematical logic which deals with the relation between a formal language and its interpretations'. No wonder, then, that mathematical logic, and nite model theory in particular, should nd manifold applications in computer science: from specifying programs to querying databases, computer science is rife with phenomena whose understanding requires close attention to the interaction between language and structure. This volume gives a broadoverviewof some central themes of nite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and arti cial intelligence, es- cially constraint databases and constraint satisfaction problems. The nal chapter provides a concise modern introduction to modal logic,which emp- sizes the continuity in spirit and technique with nite model theory. 456 pp. Englisch.…

Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2007
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 81,44
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. An introduction to the central topics in finite-model theory together with par-excellence applications of finite-model theory to database theory and AIErich Graedel is a Professor of Mathematical Foundations of Computer Science at the Universi.…

Lingua: Inglese
Editore: Springer, 2007
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 143,19
EUR 7,56 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. xiii + 437.

Lingua: Inglese
Editore: Springer, 2007
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 142,42
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. xiii + 437.

Lingua: Inglese
Editore: Springer, Springer Vieweg Apr 2007, 2007
Serie: Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 96,29
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and artificial intelligence, especially, constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, which emphasizes the continuity in spirit and technique with finite model theory. Students of logic and computer science will find here the tools necessary to embark on research in finite model theory, and all readers will experience the excitement of a vibrant area of application of logic to computer science.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 456 pp. Englisch.…