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.
- PublisherSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Publication date1987
- ISBN 10 3540181997
- ISBN 13 9783540181996
- BindingHardcover
- LanguageEnglish
- Edition number2
- Number of pages224
Buy New
View this item
£ 270.65
£ 22.36 shipping from U.S.A. to United Kingdom
Destination, rates & speeds
Search results for Foundations of Logic Programming (Symbolic computation/Artif...
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
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
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 / Artificial Intelligence)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Good. Good. book. Seller Inventory # ERICA82935401819972
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