libkin (36 Ergebnisse)

Buch. Zustand: Neu. Neuware -Finite model theory is an area of mathematical logic that grew out of computer science applications. The main sources of motivational examples for finite model theory are found in database theory, computational complexity, and formal languages, although in recent years connections with other areas, such as formal methods and verification, and artificial intelligence, have been discovered. The birth of finite model theory is often identified with Trakhtenbrot's result from 1950 stating that validity over finite models is not recursively enumerable; in other words, completeness fails over finite models. The tech nique of the proof, based on encoding Turing machine computations as finite structures, was reused by Fagin almost a quarter century later to prove his cel ebrated result that put the equality sign between the class NP and existential second-order logic, thereby providing a machine-independent characterization of an important complexity class. In 1982, Immerman and Vardi showed that over ordered structures, a fixed point extension of first-order logic captures the complexity class PTIME of polynomial time computable propertiE~s. Shortly thereafter, logical characterizations of other important complexity classes were obtained. This line of work is often referred to as descriptive complexity. A different line of finite model theory research is associated with the de velopment of relational databases. By the late 1970s, the relational database model had replaced others, and all the basic query languages for it were es sentially first-order predicate calculus or its minor extensions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Zustand: New. pp. xiii + 437.

Zustand: As New. This book presents a coherent suvey on exciting developments in database semantics. The origins of the volume date back to a workshop held in Prague, Czech Republic, in 1995. The nine revised full papers and surveys presented were carefully reviewed for inclusion in the book. They address more traditional aspects like dealing with integrity constraints and conceptual modeling as well as new areas of databases; object-orientation, incomplete information, database transformations and other issues are investigated by applying formal semantics, e. g. the evolving algebra semantics.

Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9783540641995.

gebundene Ausgabe. Zustand: Gut. 428 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Englisch Gewicht in Gramm: 680.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. pp. 341 26 Illus.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift volume, published in honour of Peter Buneman, contains contributions written by some of his colleagues, former students, and friends. In celebration of his distinguished career a colloquium was held in Edinburgh, Scotland, 27-29 October, 2013. The articles presented herein belong to some of the many areas of Peter's research interests.

Hardcover. Zustand: Very Good. No Jacket. 1st Edition. Hardback, laminated pictorial boards. 428pp. Little sign of having been read. (Q12).

Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,600grams, ISBN:9783642059483.

Zustand: New. A collection of nine papers on semantics in databases. They address traditional aspects such as dealing with integrity constraints, as well as new areas of databases. Oject-orientation, incomplete information, database transformations and other issues are investigated by applying formal semantics. Editor(s): Thalheim, B.; Libkin, L. (University of Toronto). Series: Lecture Notes in Computer Science. Num Pages: 271 pages, biography. BIC Classification: UN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 402. . 1998. Paperback. . . . . Books ship from the US and Ireland.

Taschenbuch. Zustand: Neu. Neuware -Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 30 submissions. The scope of the workshop spans the theoretical and practical aspects of formal logic, computing and programming theory, and natural language and reasoning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. 2004. Paperback. . . . . . Books ship from the US and Ireland.

Kartoniert / Broschiert. Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 30 submissions. The scope of the workshop spans the theoretical and practical aspects of formal logic, computing and programming theory, and natural language and reasoning.

Taschenbuch. Zustand: Neu. Neuware -This volume collects the papers presented at the 10th International Conference on Database Theory, ICDT 2005, held during January 5¿7, 2005, in Edinburgh, UK. ICDT (alpha.luc.ac.be/~lucp1080/icdt/) has now a long tra- tion of international conferences, providing a biennial scienti c forum for the communication of high-quality and innovative research results on theoretical - pects of all forms of database systems and database technology. The conference usually takes place in Europe, and has been held in Rome (1986), Bruges (1988), Paris (1990), Berlin (1992), Prague (1995), Delphi (1997), Jerusalem (1999), London (2001), and Siena (2003) so far. ICDT has merged with the Sym- sium on Mathematical Fundamentals of Database Systems (MFDBS), initiated in Dresden in 1987, and continued in Visegrad in 1989 and Rostock in 1991. ICDT had a two-stage submission process. First, 103 abstracts were subm- ted, which were followed a week later by 84 paper submissions. From these 84 submissions, the ICDT Program Committee selected 24 papers for presentation at the conference. Most of these papers were ¿extended abstracts¿ and preli- nary reports on work in progress. It is anticipated that most of these papers will appear in a more polished form in scienti c journals. 432 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a coherent suvey on exciting developments in database semantics. The origins of the volume date back to a workshop held in Prague, Czech Republic, in 1995. The nine revised full papers and surveys presented were carefully reviewed for inclusion in the book. They address more traditional aspects like dealing with integrity constraints and conceptual modeling as well as new areas of databases; object-orientation, incomplete information, database transformations and other issues are investigated by applying formal semantics, e.g. the evolving algebra semantics.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume collects the papers presented at the 10th International Conference on Database Theory, ICDT 2005, held during January 5-7, 2005, in Edinburgh, UK. ICDT has now a long tra- tion of international conferences, providing a biennial scienti c forum for the communication of high-quality and innovative research results on theoretical - pects of all forms of database systems and database technology. The conference usually takes place in Europe, and has been held in Rome (1986), Bruges (1988), Paris (1990), Berlin (1992), Prague (1995), Delphi (1997), Jerusalem (1999), London (2001), and Siena (2003) so far. ICDT has merged with the Sym- sium on Mathematical Fundamentals of Database Systems (MFDBS), initiated in Dresden in 1987, and continued in Visegrad in 1989 and Rostock in 1991. ICDT had a two-stage submission process. First, 103 abstracts were subm- ted, which were followed a week later by 84 paper submissions. From these 84 submissions, the ICDT Program Committee selected 24 papers for presentation at the conference. Most of these papers were 'extended abstracts' and preli- nary reports on work in progress. It is anticipated that most of these papers will appear in a more polished form in scienti c journals.

Hardcover. D03769 Ex-library with Stamp and Library-Signature in Good Condition, Some Traces of Use 9773540212028 Sprache: Englisch Gewicht in Gramm: 550.

Soft Cover. Zustand: Good. Ex-library with the usual features. Library label on front cover. The interior is clean and tight. Binding and cover are good. Ex-Library.

Gebunden. Zustand: Gut. Gebraucht - Gut XVII, 428 pp. 83 figs. This book is the first comprehensive survey of the field of constraint databases, written by leading researchers. Constraint databases are a fairly new and active area of database research. The key idea is that constraints, such as linear or polynomial equations, are used to represent large, or even infinite, sets in a compact way. The ability to deal with infinite sets makes constraint databases particularly promising as a technology for integrating spatial and temporal data with standard relational databases. Constraint databases bring techniques from a variety of fields, such as logic and model theory, algebraic and computational geometry, as well as symbolic computation, to the design and analysis of data models and query languages. For Scientists, researchers, lecturers, and professionals in academia and industry.

Zustand: Good. Buchschnitt leicht verschmutzt. Ehemaliges Bibliotheksexemplar. Mit Bibliotheksstempel und Aufkleber am Buchrücken. Als übereignet gekennzeichnet.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 296 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 296 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Zustand: New. pp. 452 Illus.

Hardcover. Zustand: Brand New. 1st edition. 437 pages. 9.50x6.25x0.75 inches. In Stock.

Zustand: New. 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. . . . . Books ship from the US and Ireland.

Zustand: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.