Herve gallaire (26 resultados)

Hardcover. Condición: Good. 1978 Plennum Press hardcover, no dj, ex-library, with some shelfwear/edgewear, GOOD Standard-sized.

Hardcover. Condición: Very Good. No Jacket. 1st Edition. Hardcover in brown cloth without dust jacket, clean square tight.

Hardcover. Condición: UsedVeryGood. Hardcover, Volume 1 only; light fading, light shelf wear to exterior; other wise in very good condition with clean text, firm binding. Dust jacket/edge wear, fading; wrapped in protective plastic.

Condición: Good. 1st Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.…

Condición: New.

Condición: Very Good. 1st. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Paperback. Condición: Brand New. reprint edition. 432 pages. 9.60x6.69x1.00 inches. In Stock.

Paperback. Condición: Brand New. reprint edition. 440 pages. 9.60x6.69x1.00 inches. In Stock.

Paperback. Condición: Brand New. 466 pages. 10.10x7.10x1.10 inches. In Stock.

Condición: New.

Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condición: new. Questo è un articolo print on demand.

Condición: new. Questo è un articolo print on demand.

Condición: new. Questo è un articolo print on demand.

PF. Condición: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

PF. Condición: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

PF. Condición: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -During the 1970's a theory of data ~ases began to evolve pro viding a foundation for some existing tools and techniques. The significance of this theory is beginning to have an impact particu larly with respect to the design and implementation of the relational model of data bases. To further the state of the art in the theory of data bases, a workshop was held in TOulouse, France on December 12-14, 1979. The workshop was a sequel to one held two years previously and entitled, 'Logic and Data Base Workshop'. As with the earlier work shop, the meetings were conducted at the centre d'Etudes et de Recherches de l'Ecole Nationale Superieure de l'Aeronautique et de l'Espace de Toulouse (C.E.R.T). We are pleased to acknowledge the financial support received from the Direction des Recherches, Etudes et Techniques d'Armement (D.R.E.T.), and from C.E.R.T. that made the workshop possible. 444 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Mathematical logic provides a conceptual framework for many different areas of science. It has been recognized recently that logic is also significant for data bases. To focus on this impor tant topic, a group of researchers met at a workshop in Toulouse, France on November 16-18, 1977. The workshop was held at the Centre d'Etudes et de Recherches de L'Ecole Nationale Superieure de L'Aeronautique et de L'Espace de Toulouse (C. E. R. T. ). We are pleased to acknowledge the financial support received from the Direction des Recherches, Etudes et Techniques d'Armenent (D. R. E. T) and from C. E. R. T. Without this support the workshop would not have been possible. We particularly wish to thank our friend and colleague Jean Marie Nicolas for handling much of the organi zation of the workshop. This book is a collection of substantially revised versions of the majority of the papers presented at the workshop. Every paper was reviewed carefully by at least two reviewers. Many thanks are due to our reviewers for their detailed reading of the papers and their constructive comments. The book provides, for the first time, a comprehensive descrip tion of the interaction between logic and data bases. 468 pp. Englisch. …

Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. An Overview and Introduction to Logic and Data Bases.- Data Bases Viewed Through Formal Logic.- Data Base: Theory vs. Interpretation.- On Closed World Data Bases.- Logic for Data Description.- Knowledge Representation and Deduction.- An Experimental Relatio.…

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Background for Advances in Data Base Theory.- Data Base Design.- On the Properties of Join Dependencies.- Decomposition of Relations: A Comprehensive Approach.- Adequacy of Decompositions of Relational Databases.- A Method for Helping Discover the Dependenc.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -During the 1970's a theory of data ~ases began to evolve pro viding a foundation for some existing tools and techniques. The significance of this theory is beginning to have an impact particu larly with respect to the design and implementation of the relational model of data bases. To further the state of the art in the theory of data bases, a workshop was held in TOulouse, France on December 12-14, 1979. The workshop was a sequel to one held two years previously and entitled, 'Logic and Data Base Workshop'. As with the earlier work shop, the meetings were conducted at the centre d'Etudes et de Recherches de l'Ecole Nationale Superieure de l'Aeronautique et de l'Espace de Toulouse (C.E.R.T). We are pleased to acknowledge the financial support received from the Direction des Recherches, Etudes et Techniques d'Armement (D.R.E.T.), and from C.E.R.T. that made the workshop possible.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 444 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This is the third book devoted to theoretical issues in data bases that we have edited. Each book has been the outgrowth of papers held at a workshop in Toulouse, France. The first workshop, held in 1977 focused primarily on the important topic of logic and databases. The book, Logic and Databases was the result of this effort. The diverse uses of logic for databases such as its use as a theoretical basis for databases, for deduction and for integ rity constraints formulation and checking was described in the chapters of the book. The interest generated by the first workshop led to the deci sion to conduct other workshops focused on theoretical issues in databases. In addition to logic and databases the types of papers were expanded to include other important theoretical issues such as dependency theory which, although it sometimes uses logic as a basis, does not fit with our intended meaning of logic and databases explored at the first workshop. Because of the broader coverage, and because we anticipated further workshops, the second book was entitled, Advances in Database Theory - Volume 1. The book 'Logic and Databases' should be considered Volume 0 of this series.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 444 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -An Overview and Introduction to Logic and Data Bases.- Data Bases Viewed Through Formal Logic.- Data Base: Theory vs. Interpretation.- On Closed World Data Bases.- Logic for Data Description.- Knowledge Representation and Deduction.- An Experimental Relational Data Base System Based on Logic.- Deductive Question-Answering on Relational Data Bases.- Deductive Planning and Pathfinding for Relational Data Bases.- DEDUCE 2: Further Investigations of Deduction in Relational Data Bases.- Nondeterministic Languages Used for the Definition of Data Models.- An Axiomatic Data Base Theory.- Negative Information and Data Bases.- Negation as Failure.- Logic and Data Base Integrity.- Integrity Checking in Deductive Data Bases.- Query Languages and Applications.- The Application of PROLOG to the Development of QA and DBM Systems.- The Predicate Calculus-Language KS as a Query Language.- High Level Data Base Query Languages.- Author Index.- List of Referees.- Addresses of Contributing Authors.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 468 pp. Englisch.…