This is the second edition of the first book to give an account of the mathematical foundations of Logic Programming. The topics covered include the semantics of various classes of programs, the semantics of perpetual processes, and the foundations of Deductive Database Systems. The book contains many illustrative examples and over 100 problems.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Zustand: new. Questo è un articolo print on demand. Bestandsnummer des Verkäufers 48HPF4PNFV
Anzahl: Mehr als 20 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Bestandsnummer des Verkäufers ria9783642831911_new
Anzahl: Mehr als 20 verfügbar
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. Consequently, it seemed advisable to try to expand the subject matter covered in the first edition. The new material in the second edition has a strong database flavour, which reflects my own research interests over the last three years. However, despite the fact that the second edition has about 70% more material than the first edition, many worthwhile topic!! are still missing. I can only plead that the field is now too big to expect one author to cover everything. In the second edition, I discuss a larger class of programs than that discussed in the first edition. Related to this, I have also taken the opportunity to try to improve some of the earlier terminology. Firstly, I introduce 'program statements', which are formulas of the form A+-W, where the head A is an atom and the body W is an arbitrary formula. A 'program' is a finite set of program statements. There are various restrictions of this class. 'Normal' programs are ones where the body of each program statement is a conjunction of literals. (The terminology 'general', used in the first edition, is obviously now inappropriate). 228 pp. Englisch. Bestandsnummer des Verkäufers 9783642831911
Anzahl: 2 verfügbar
Anbieter: moluna, Greven, Deutschland
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. Consequently, it seemed advisable to try to expand the subject matter covered in the first edition. The new material in the sec. Bestandsnummer des Verkäufers 5071814
Anzahl: Mehr als 20 verfügbar
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. pp. 228 2nd Edition. Bestandsnummer des Verkäufers 26142285200
Anzahl: 4 verfügbar
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: New. Print on Demand pp. 228 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 135046735
Anzahl: 4 verfügbar
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 228. Bestandsnummer des Verkäufers 18142285210
Anzahl: 4 verfügbar
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This is the second edition of the first book to give an account of the mathematical foundations of Logic Programming. The topics covered include the semantics of various classes of programs, the semantics of perpetual processes, and the foundations of Deductive Database Systems. The book contains many illustrative examples and over 100 problems.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch. Bestandsnummer des Verkäufers 9783642831911
Anzahl: 1 verfügbar
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Paperback. Zustand: Brand New. 2nd edition. 228 pages. 9.53x6.46x0.71 inches. In Stock. Bestandsnummer des Verkäufers x-3642831915
Anzahl: 2 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. Consequently, it seemed advisable to try to expand the subject matter covered in the first edition. The new material in the second edition has a strong database flavour, which reflects my own research interests over the last three years. However, despite the fact that the second edition has about 70% more material than the first edition, many worthwhile topic!! are still missing. I can only plead that the field is now too big to expect one author to cover everything. In the second edition, I discuss a larger class of programs than that discussed in the first edition. Related to this, I have also taken the opportunity to try to improve some of the earlier terminology. Firstly, I introduce 'program statements', which are formulas of the form A+-W, where the head A is an atom and the body W is an arbitrary formula. A 'program' is a finite set of program statements. There are various restrictions of this class. 'Normal' programs are ones where the body of each program statement is a conjunction of literals. (The terminology 'general', used in the first edition, is obviously now inappropriate). Bestandsnummer des Verkäufers 9783642831911
Anzahl: 1 verfügbar