Items related to Foundations of Logic Programming (Symbolic computation/Artif...
Synopsis
This is the second edition of an account of the mathematical foundations of logic programming. Its purpose is to collect, in a unified and comprehensive manner, the basic theoretical results of the field, which have previously only been available in widely scattered research papers. In addition to presenting the technical results, the book also contains many illustrative examples and problems. The text is intended to be self-contained, the only prerequisites being some familiarity with PROLOG and knowledge of some basic undergraduate mathematics. The material is suitable either as a reference book for researchers or as a textbook for a graduate course on the theoretical aspects of logic programming and deductive database systems.
"synopsis" may belong to another edition of this title.
Synopsis
This is the second edition of an account of the mathematical foundations of logic programming. Its purpose is to collect, in a unified and comprehensive manner, the basic theoretical results of the field, which have previously only been available in widely scattered research papers. In addition to presenting the technical results, the book also contains many illustrative examples and problems. The text is intended to be self-contained, the only prerequisites being some familiarity with PROLOG and knowledge of some basic undergraduate mathematics. The material is suitable either as a reference book for researchers or as a textbook for a graduate course on the theoretical aspects of logic programming and deductive database systems.
"About this title" may belong to another edition of this title.
Buy New
View this item
£ 521.24
£ 22.57 shipping from U.S.A. to United Kingdom
Destination, rates & speeds
Search results for Foundations of Logic Programming (Symbolic computation/Artif...
Seller Image
Foundations of logic programming.
Published by
[Lieu de publication non identifié], Springer, 1993
ISBN 10: 3540181997
ISBN 13: 9783540181996
Used
Hardcover
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Hardcover. 212 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03442 3540181997 Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 2513137
Quantity: 1 available
Stock Image
Foundations of Logic Programming (Symbolic Computation)
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 224 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 41119981/202
Quantity: 2 available
Stock Image
Foundations of Logic Programming (Symbolic Computation)
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Gut. Zustand: Gut | Seiten: 224 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 41119981/203
Quantity: 5 available
Stock Image
Foundations of Logic Programming (Symbolic Computation)
Published by
Springer (edition Second, Extended Edition), 1993
ISBN 10: 3540181997
ISBN 13: 9783540181996
Used
Hardcover
Seller: BooksRun, Philadelphia, PA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Second, Extended Edition. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Seller Inventory # 3540181997-11-1
Quantity: 1 available
Seller Image
Foundations of logic programming
Published by
Berlin; Heidelberg; New York; London; Paris; Tokyo : Springer, 1987
ISBN 10: 3540181997
ISBN 13: 9783540181996
Used
Hardcover
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
Hardcover. 2. Edition. XII, 212 p. Good condition. The pages are clean and without markings. Slight signs of storage and use. Retired library copy with corresponding markings. Otherwise, a neat copy. 9783540181996 Sprache: Englisch Gewicht in Gramm: 1000. Seller Inventory # 314519
Quantity: 2 available
Stock Image
Foundations of Logic Programming (Symbolic Computation).
Published by
Berlin, Heidelberg, New York: Springer-Verlag, 1987
ISBN 10: 3540181997
ISBN 13: 9783540181996
Used
Hardcover
Seller: Antiquariat Bernhardt, Kassel, Germany
Seller rating 5 out of 5 stars
gebundene Ausgabe. Condition: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XII, 212 Seiten, Englisch 516g. Seller Inventory # 492703
Quantity: 1 available
Stock Image
Foundations of Logic Programming (Symbolic Computation)
Seller: Toscana Books, AUSTIN, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Seller Inventory # Scanned3540181997
Quantity: 1 available