ISBN10: 3540004289, ISBN13: 9783540004288, [publisher: Berlin/Heidelberg, Springer] Hardcover XI/437 Seiten : Ausgetragenes Bibliotheksexemplar, fast top erhalten ISBN: 9783540004288 . Als Versandart wählen wir immer eine schnelle Option (in Deutschland Brief oder DHL-Paket, ins Ausland Warenpost oder DHL-Paket). Preis inkl. MwSt. Sprache: Englisch Gewicht in Gramm: 839
[Aachen, Germany] [Publication Year: 2007]
Show/Hide image

Springer , pp. xiii + 437 1st Edition . Hardback. Used. Springer ISBN 3540004289 9783540004288 [US]

ISBN10: 3540004289, ISBN13: 9783540004288, [publisher: Springer] Hardcover pp. xiii + 437
[Hounslow, United Kingdom] [Publication Year: 2007]

Springer 2007 2007 ed. Hard cover Very Good Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.

ISBN10: 3540004289, ISBN13: 9783540004288, [publisher: Springer] Hardcover Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.
[Frederick, MD, U.S.A.] [Publication Year: 2007]

ISBN10: 3540004289, ISBN13: 9783540004288, [publisher: Springer] Hardcover 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!
[Dallas, TX, U.S.A.] [Publication Year: 2007]

Springer 2007 2007 ed. Hard cover New, US edition. Satisfaction guaranteed! !

ISBN10: 3540004289, ISBN13: 9783540004288, [publisher: Springer] Hardcover Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting. 1.46
[Hawthorne, CA, U.S.A.] [Publication Year: 2007]

Springer 2007 2007 ed. HARDBACK New P xiii + 437 1st Edition.

ISBN10: 3540004289, ISBN13: 9783540004288, [publisher: Springer Berlin Heidelberg] Hardcover 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 cons ...
Show/Hide image

ISBN10: 3540004289, ISBN13: 9783540004288, [publisher: Springer] Hardcover
[Dallas, TX, U.S.A.] [Publication Year: 2007]

ISBN10: 3540004289, ISBN13: 9783540004288, [publisher: Springer Berlin Heidelberg] Hardcover 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 cons ...
Show/Hide image

Springer 2007 2007 ed. hardcover Good Access codes and supplements are not guaranteed with used items. May be an ex-library book.

Berlin, Heidelberg Springer 2007 2007 ed. Hard cover New. Sewn binding. Paper over boards. 440 p. Contains: Tables, black & white. Texts in Theoretical Computer Science. an Eatcs.

hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. ISBN 3540004289 9783540004288 [US]

Springer-Verlag New York Inc, Date: 2007. Hardcover. New. 1st edition. 437 pages. 9.50x6.25x0.75 inches. 2007. Springer-Verlag New York Inc ISBN 3540004289 9783540004288 [GB]

ISBN10: 3540004289, ISBN13: 9783540004288, [publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG] Hardcover Presents a comprehensive overview of central themes of finite model theory - expressive power, descriptive complexity, and zero-one laws - together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 437 pages, 1 black & white tables, biography. BIC Classification: UY. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 235 x 155 x 22. Weight in Grams: 753. . 2003. Hardback. . . . .
[Galway, GY, Ireland] [Publication Year: 2003]

ISBN10: 3540004289, ISBN13: 9783540004288, [publisher: Springer] Hardcover New. In shrink wrap. Looks like an interesting title! 1.74
[North Las Vegas, NV, U.S.A.] [Publication Year: 2007]

Springer 2007 2007 ed. hardcover New