9783642438608 - finite model theory and its applications di grädel, erich; kolaitis, phokion g.; libkin, leonid; marx, maarten; spencer, joel; vardi, moshe y.; venema, yde; weinstein, scott (12 risultati)
Finite Model Theory and Its Applications
Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Marx, Maarten; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott
Lingua: Inglese
Editore: Springer, 2014
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 di 45. Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 120,36
EUR 3,50 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer, 2014
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 di 45. Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 72,80
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Finite Model Theory and Its Applications | Erich Grädel (u. a.) | Taschenbuch | Texts in Theoretical Computer Science. An EATCS Series | xi | Englisch | 2014 | Springer | EAN 9783642438608 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]har…tmann[at]springer[dot]com | Anbieter: preigu.
Lingua: Inglese
Editore: Springer Vieweg, 2014
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 di 45. Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 85,01
EUR 63,43 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. 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 in…sights 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, 2014
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 di 45. Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 154,38
EUR 14,68 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Brand New. 2007 edition. 456 pages. 9.25x6.10x1.02 inches. In Stock.
Lingua: Inglese
Editore: Springer, 2014
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 di 45. Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 162,57
EUR 14,68 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Brand New. 2007 edition. 456 pages. 9.25x6.10x1.02 inches. In Stock.
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Grädel, Erich, Kolaitis, Phokion G., Libkin, Leonid, Marx, M
Lingua: Inglese
Editore: Springer, 2014
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 di 45. Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 151,16
EUR 29,35 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Lingua: Inglese
Editore: Springer, 2014
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 di 45. Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
- Print on Demand
Da: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,21
EUR 6,80 spedizioneSpedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Condizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Okt 2014, 2014
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 di 45. Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 80,20
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. 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 th…e 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, 2014
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 di 45. Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 68,58
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
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 AIAn introduction to the central topics in finite-model theory toge…ther with par-excellence ap.
Finite Model Theory and Its Applications
Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Marx, Maarten; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott
Lingua: Inglese
Editore: Springer, 2014
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 di 45. Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 123,29
EUR 7,63 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand.
Finite Model Theory and Its Applications
Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Marx, Maarten; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott
Lingua: Inglese
Editore: Springer, 2014
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 di 45. Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 121,84
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND.
Lingua: Inglese
Editore: Springer, Springer Gabler Okt 2014, 2014
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 di 45. Libro 27 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 80,20
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. 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, constr…aint 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.
