9783540004288 - finite model theory and its applications (texts in theoretical computer science. an eatcs series) de grädel, erich; libkin, leonid; kolaitis, phokion g. (17 resultados)

Idioma: Inglés
Editorial: Springer 2007
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 de 45. Libro 27 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Books From California, Simi Valley, CA, Estados Unidos de AmericaBooks From California
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Excelente
EUR 51,50
Envío por EUR 4,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: Fine.

Idioma: Inglés
Editorial: Springer 2007
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 de 45. Libro 27 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: HPB-Red, Dallas, TX, Estados Unidos de AmericaHPB-Red
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 53,09
Envío por EUR 3,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: 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.

Idioma: Inglés
Editorial: Berlin/Heidelberg, Springer 2007
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 de 45. Libro 27 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: avelibro OHG, Dinkelscherben, , Alemaniaavelibro OHG
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 49,00
Envío por EUR 10,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
8°, gebundene Ausgabe. Condición: Sehr gut. XI/437 Seiten : Ausgetragenes Bibliotheksexemplar, fast top erhalten B05-03-06A Sprache: Englisch Gewicht in Gramm: 839.

Idioma: Inglés
Editorial: Berlin, Springer Berlin Heidelberg 2007
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 de 45. Libro 27 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Antiquariat Bookfarm, Löbnitz, AlemaniaAntiquariat Bookfarm
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 23,35
Envío por EUR 40,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. 446 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03606 9783540004288 Sprache: Englisch Gewicht in Gramm: 550.

Finite Model Theory and Its Applications
Vardi, Moshe Y.; Gradel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx
Idioma: Inglés
Editorial: Springer 2007
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 de 45. Libro 27 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 113,43
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

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
Idioma: Inglés
Editorial: Springer 2007
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 de 45. Libro 27 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 102,83
Envío por EUR 13,80Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.

Finite Model Theory and Its Applications
Vardi, Moshe Y.; Gradel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx
Idioma: Inglés
Editorial: Springer 2007
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 de 45. Libro 27 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 117,74
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Finite Model Theory and Its Applications
Vardi, Moshe Y.; Gradel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx
Idioma: Inglés
Editorial: Springer 2007
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 de 45. Libro 27 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 102,81
Envío por EUR 17,28Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Finite Model Theory and Its Applications
Vardi, Moshe Y.; Gradel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx
Idioma: Inglés
Editorial: Springer 2007
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 de 45. Libro 27 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 114,98
Envío por EUR 17,28Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

Idioma: Inglés
Editorial: Springer 2007
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 de 45. Libro 27 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Buchpark, Trebbin, , AlemaniaBuchpark
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 25,91
Envío por EUR 105,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Sehr gut. Zustand: Sehr gut | Seiten: 456 | Sprache: Englisch | Produktart: Bücher | 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 f…undamental 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 zerö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.

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
Idioma: Inglés
Editorial: Springer 2007
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 de 45. Libro 27 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de AmericaBennettBooksLtd
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 136,63
Envío por EUR 6,06Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: New. In shrink wrap. Looks like an interesting title.

Idioma: Inglés
Editorial: Springer-Verlag New York Inc 2007
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 de 45. Libro 27 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Revaluation Books, Exeter, , Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 144,43
Envío por EUR 14,40Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Hardcover. Condición: Brand New. 1st edition. 437 pages. 9.50x6.25x0.75 inches. In Stock.

Idioma: Inglés
Editorial: Springer, Springer Vieweg 2007
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 de 45. Libro 27 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 96,29
Envío por EUR 64,23Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Buch. Condición: 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 o…f 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.

Idioma: Inglés
Editorial: Springer Berlin Heidelberg Apr 2007 2007
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 de 45. Libro 27 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 96,29
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Buch. Condición: 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 fundam…ental 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.

Idioma: Inglés
Editorial: Springer Berlin Heidelberg 2007
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 de 45. Libro 27 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Impresión bajo demanda
Librería: moluna, Greven, , Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 81,44
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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 Comput…er Science at the Universi.

Idioma: Inglés
Editorial: Springer 2007
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 de 45. Libro 27 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 84,50
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Buch. Condición: Neu. Finite Model Theory and Its Applications | Erich Grädel (u. a.) | Buch | Texts in Theoretical Computer Science. An EATCS Series | xi | Englisch | 2007 | Springer | EAN 9783540004288 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]spring…er[dot]com | Anbieter: preigu Print on Demand.

Idioma: Inglés
Editorial: Springer, Springer Vieweg Apr 2007 2007
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 27 de 45. Libro 27 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 96,29
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Buch. Condición: 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 dat…abases 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.