Minker Jack (56 results)

Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Tome 2. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Volume 2. Ammareal gives back up to 15% of this item's net price to charity organizations.…

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

paperback. Condition: Fine.

746 S./pp., Originalpappband (publisher's cardboard covers), Bibliotheksexemplar in gutem Zustand / exlibrary in good condition (Stempel auf Titel / title stamped, Rückenschildchen / lettering pannel to the spine, Block sehr gut / contents fine, keine Unterstreichungen oder Anstreichungen / no underlining or remarks, nicht in Folie eingeschlagen / not wrapped up in foil), Sprache: englisch.…

Condition: 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.…

Paperback. Condition: new. Paperback. 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. During the 1970's a theory of data ~ases began to evolve proA viding a foundation for some existing tools and techniques. The significance of this theory is beginning to have an impact particuA 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 workA 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 possib Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Condition: New.

Paperback. Condition: New.

Condition: New. In English.

Condition: New. In English.

Condition: New. In English.

Condition: New. pp. 444.

Condition: Sehr gut. 307 Seiten, Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 750 gebundene Ausgabe gebundene Ausgabe.…

Condition: New. pp. 468.

Condition: New. pp. 444.

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

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

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

Condition: New.

Paperback. Condition: new. Paperback. 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. During the 1970's a theory of data ~ases began to evolve proA viding a foundation for some existing tools and techniques. The significance of this theory is beginning to have an impact particuA 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 workA 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 possib Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…

Paperback. Condition: Brand New. 752 pages. 9.25x6.00x1.70 inches. In Stock.

Condition: Gut. Zustand: Gut | Seiten: 332 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condition: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.

Paperback. Condition: new. Paperback. The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In a series of papers in the 1960's he expanded upon these ideas and continues to do so to this date. It is now 41 years since the idea of using a formal mechanism for AI arose. It is therefore appropriate to consider some of the research, applications and implementations that have resulted from this idea. In early 1995 John McCarthy suggested to me that we have a workshop on Logic-Based Artificial Intelligence (LBAI). In June 1999, the Workshop on Logic-Based Artificial Intelligence was held as a consequence of McCarthy's suggestion. The workshop came about with the support of Ephraim Glinert of the National Science Foundation (IIS-9S2013S), the American Association for Artificial Intelligence who provided support for graduate students to attend, and Joseph JaJa, Director of the University of Maryland Institute for Advanced Computer Studies who provided both manpower and financial support, and the Department of Computer Science. We are grateful for their support. This book consists of refereed papers based on presentations made at the Workshop. Not all of the Workshop participants were able to contribute papers for the book. The common theme of papers at the workshop and in this book is the use of logic as a formalism to solve problems in AI. The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In a series of papers in the 1960's he expanded upon these ideas and continues to do so to this date. It is now 41 years since the idea of using a formal mechanism for AI arose. It is therefore appropriate to consider some of the research, applications and implementations that have resulted from this idea. In early 1995 John McCarthy suggested to me that we have a workshop on Logic-Based Artificial Intelligence (LBAI). In June 1999, the Workshop on Logic-Based Artificial Intelligence was held as a consequence of McCarthy's suggestion. The workshop came about with the support of Ephraim Glinert of the National Science Foundation (IIS-9S2013S), the American Association for Artificial Intelligence who provided support for graduate students to attend, and Joseph JaJa, Director of the University of Maryland Institute for Advanced Computer Studies who provided both manpower and financial support, and the Department of Computer Science. We are grateful for their support. This book consists of refereed papers based on presentations made at the Workshop. Not all of the Workshop participants were able to contribute papers for the book. The common theme of papers at the workshop and in this book is the use of logic as a formalism to solve problems in AI. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Condition: New.

Condition: New.

Condition: As New. Unread book in perfect condition.