Order Total (1 Item Items):
Shipping Destination:
Foundations Logic Programming (174 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (174)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
Binding
Collectible Attributes
- First Edition (2)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (52)
- Not Print on Demand (149)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
£ 6.25
Convert currency£ 6.94 shipping from France to United KingdomQuantity: 1 available
Add to basketHardcover. Condition: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Edition 1984. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Edition 1984. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Foundations of logic programming.
Published by Berlin, Springer-Verlag, 1987
ISBN 10: 3540132996 ISBN 13: 9783540132998
Language: English
£ 7.17
Convert currency£ 15.62 shipping from Germany to United KingdomQuantity: 1 available
Add to basketHardcover. 2nd, extended ed. xii, 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. D04128 3540132996 Sprache: Englisch Gewicht in Gramm: 1150.
-
Foundations of Inductive Logic Programming
Published by Springer, Berlin, New York, 1997
ISBN 10: 3540629270 ISBN 13: 9783540629276
Language: English
Seller: Clevedon Community Bookshop Co-operative, Clevedon, United Kingdom
Seller rating 5 out of 5 stars
Soft cover. Condition: Near Fine. Dust Jacket Condition: Very Good. ISBN 3540629270. "Lecture Notes in Computer Science". In near fine grey and navy card, green and blue titles to front. The covers are tight, straight and very clean. Unmarked white end papers and cut edges. The text block is tightly bound, straight and clean - near fine plus condition - with no inscriptions etc. In very good green and black card dust jacket, yellow titles and diagram to front; piece of adhesive tape attached to middle area of front by back strip; otherwise clean.
-
Handbook of Logic in Artificial Intelligence and Logic Programming : Volume 1: Logical Foundations
Published by Oxford University Press, Incorporated, 1993
ISBN 10: 019853745X ISBN 13: 9780198537458
Language: English
£ 18.62
Convert currency£ 7.14 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
Foundations of inductive logic programming. Lecture notes in computer science ; Vol. 1228 : Lecture notes in artificial intelligence
Published by Berlin ; Heidelberg ; Singapore ; Tokyo ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Santa Clara : Springer, 1997
ISBN 10: 3540629270 ISBN 13: 9783540629276
Language: English
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
£ 17.83
Convert currency£ 9.50 shipping from Germany to United KingdomQuantity: 1 available
Add to basketBroschiert. Condition: Gut. 404 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); leichte altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Einbandkanten sind leicht bestoßen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 570.
-
£ 18.62
Convert currency£ 8.95 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if youâre not satisfied with purchase please return item for full refund. Ships via media mail.
-
Foundations of Equational Logic Programming
Published by Springer Berlin Heidelberg, 1989
ISBN 10: 354051533X ISBN 13: 9783540515333
Language: English
£ 6.87
Convert currency£ 20.74 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Foundations of Equational Logic Programming (Lecture Notes in Computer Science, 353)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 34.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Foundations of Logic Programming (Symbolic Computation / Artificial Intelligence)
Seller: Wonder Book, Frederick, MD, U.S.A.
Seller rating 5 out of 5 stars
£ 23.05
Convert currency£ 14.92 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: Good. Good condition. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains.
-
Foundations of Logic Programming
Published by Springer Berlin 1984, 1984
Seller: Antiquariat Thomas & Reinhard, Recklinghausen, NRW, Germany
Seller rating 5 out of 5 stars
£ 10.73
Convert currency£ 14.75 shipping from Germany to United KingdomQuantity: 1 available
Add to basketFormat groß 8°, kartoniert, 124 nachgedunkelte Seiten, dies ist ein regulär ausgesondertes Bibliotheksexemplar aus einer wissenschaftlichen Bibliothek, keine Markierungen / Anmerkungen, das Buch befindet sich in einem guten Zustand --- Hardcover, Lib.Ex., no marks, 125 darkened pages, good condition. Shipping to abroad insured with tracking number.
-
£ 35.75
Convert currency£ 6.94 shipping from France to United KingdomQuantity: 1 available
Add to basketHardcover. Condition: Bon. Ancien livre de bibliothèque avec équipements. Edition 2000. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 2000. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 : Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
Published by Springer Berlin Heidelberg, 1987
ISBN 10: 354017611X ISBN 13: 9783540176114
Language: English
£ 33.46
Convert currency£ 12.14 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Models and equality for logical programming.- Fifth generation computer project: Current research activity and future plans.- A compositive abstraction algorithm for combinatory logic.- Linear logic and lazy computation.- The natural dynamic semantics of mini-Standard ML.- Listlog ¿ A PROLOG extension for list processing.- Intensional negation of logic programs: Examples and implementation techniques.- Improving the execution speed of compiled Prolog with modes, clause selection, and determinism.- Simulation results of a multiprocessor PROLOG architecture based on a distributed and/or graph.- Generating efficient code from strictness annotations.- Hoisting: Lazy evaluation in a cold climate.- Inductive assertion method for logic programs.- Higher order generalization in program derivation.- Implementing algebraically specified abstract data types in an imperative programming language.- A declarative environment for concurrent logic programming.- Or-parallel execution models of Prolog.- Retractions: A functional paradigm for logic programming.- Refined strategies for semantic unification.- Extensional models for polymorphism.- A type discipline for program modules.- Theory and practice of canonical term functors in abstract data type specifications.
-
Foundations of Equational Logic Programming
Published by Springer Berlin Heidelberg, 1989
ISBN 10: 354051533X ISBN 13: 9783540515333
Language: English
£ 33.46
Convert currency£ 12.14 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic programming. This book presents the foundations of equational logic programming. After generalizing logic programming by augmenting programs with a conditional equational theory, the author defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting. Within this framework many known results are developed. In particular, a presentation of the least model and the fixpoint semantics of equational logic programs is followed by a rigorous proof of the soundness and the strong completeness of various proof techniques: SLDE-resolution, where a universal unification procedure replaces the traditional unification algorithm; linear paramodulation and special forms of it such as rewriting and narrowing; complete sets of transformations for conditional equational theories; and lazy resolution combined with any complete set of inference rules for conditional equational theories.
-
£ 30.10
Convert currency£ 17.31 shipping from Germany to United KingdomQuantity: 1 available
Add to basketgebundene Ausgabe. Condition: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. 307 Seiten, Englisch 750g.
-
£ 33.26
Convert currency£ 14.92 shipping from U.S.A. to United KingdomQuantity: 15 available
Add to basketCondition: New.
-
Foundations of Equational Logic Programming
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
£ 46.65
Convert currency£ 2.60 shipping from Ireland to United KingdomQuantity: 15 available
Add to basketCondition: New. 1989. Paperback. . . . . .
-
Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings (Lecture Notes in Computer Science, 306)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Paperback. Condition: New.
-
£ 30.11
Convert currency£ 20.74 shipping from Germany to United KingdomQuantity: 2 available
Add to basketCondition: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher.
-
£ 36.69
Convert currency£ 14.92 shipping from U.S.A. to United KingdomQuantity: 15 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Foundations of Inductive Logic Programming
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1997
ISBN 10: 3540629270 ISBN 13: 9783540629276
Language: English
£ 44.68
Convert currency£ 6.94 shipping from France to United KingdomQuantity: 1 available
Add to basketSoftcover. Condition: Très bon. Ancien livre de bibliothèque avec équipements. Couverture différente. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
£ 29.49
Convert currency£ 22.39 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. Exact ISBN match. Immediate shipping. No funny business.
-
Foundations of Logic Programming
First Edition
£ 23.06
Convert currency£ 29.85 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketHardcover. Condition: Very Good. Dust Jacket Condition: No Dust Jacket. First Edition. Light rubbing and toning overall and some soiling. Photos upon request. International shipping billed at cost.; Symbolic Computation; Large 8vo 9" - 10" tall; 124 pages.
-
Foundations of Logic Programming (Symbolic Computation)
Published by Springer (edition Second, Extended Edition), 1993
ISBN 10: 3540181997 ISBN 13: 9783540181996
Language: English
£ 50.44
Convert currency£ 3.35 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketHardcover. Condition: Good. Second, Extended Edition. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience.
-
£ 47.35
Convert currency£ 6.72 shipping from U.S.A. to United KingdomQuantity: 4 available
Add to basketCondition: New. pp. 264.
-
Foundations of logic programming.
Published by [Lieu de publication non identifié], Springer, 1993
ISBN 10: 3540181997 ISBN 13: 9783540181996
Language: English
£ 47.85
Convert currency£ 6.07 shipping from Germany to United KingdomQuantity: 1 available
Add to basketHardcover. 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.
-
£ 49.66
Convert currency£ 7.72 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
£ 44.39
Convert currency£ 12.93 shipping from Germany to United KingdomQuantity: 1 available
Add to basketpaperback. Condition: Befriedigend. 232 Seiten; 9783540191292.4 Gewicht in Gramm: 500.
-
£ 42.80
Convert currency£ 14.92 shipping from U.S.A. to United KingdomQuantity: 15 available
Add to basketCondition: New.
-
£ 56.19
Convert currency£ 2.24 shipping from U.S.A. to United KingdomQuantity: 15 available
Add to basketCondition: New. 1989. Paperback. . . . . . Books ship from the US and Ireland.
