Foundations Logic Programming (148 results)

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

Condition: good. The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing.…

Condition: very_good.

Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Hardcover. Condition: Acceptable. Ex-library. Acceptable - This is a significantly damaged book. It should be considered a reading copy only. Please order this book only if you are interested in the content and not the condition. May be ex-library. Standard-sized.

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

Hardcover. Condition: Very Good. 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.

Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Condition: very good. Berlin & Heidelberg : Springer-Verlag, 1986. Hardcover. 124 pp. Library stamp. (Symbolic Computation). Condition : very good copy. ISBN 9783540132998. Keywords : COMPUTER SCIENCE, Logic programming Logic programming languages.

Hardcover. Condition: Very Good. Second printing. Tips of corners show light wear, some glue/paper residue at bottom of spine. book is otherwise excellent, very clean and sharp, with a solid binding and clean pages.

Condition: New. In English.

Condition: VG. 1988 Springer Verlag. Large octavo, 218pp., original wraps. VG, light wear.

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

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

Condition: New.

Paperback or Softback. Condition: New. Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings. Book.

Condition: New. pp. 264.

Paperback. Condition: Near Fine. First Edition; First Printing. First Edition (1989) ; First Printing indicated by a complete numerical sequence. Very Near Fine in Wraps: shows just a hint of rubbing to the heel of the backstrip and even less to the other extrelmities; the binding is square and secure; the text is clean. Free of creases to the panels. Free of creases to the backstrip. Free of any creased or dog-eared pages in the text. Free of any underlining, hi-lighting or marginalia or marks in the text. Free of any ownership names, dates, addresses, notations, inscriptions, stamps, plates, or labels. A handsome, nearly-new copy, structurally sound and tightly bound, showing the mildest wear only. Bright and clean. Corners sharp. Very close to "As New". NOT a Remainder, Book-Club, or Ex-Library. 8vo. (9.2 x 6.2 x 0.65 inches) . Index. Bibliography. Answers to Problems included in the text. Language: English. Weight: 14 ounces. Paperback. A presentation of LISP which is both practical and theoretical. For the practical, the syntax of the language, the programming styles, and the semantics of computation are carefully developed. For the theoretical, the algebra of interpreters, the lambda calculus as a foundation for LISP, and the algebraic significance of LISP's approach to artificial intelligence are discussed. As the title suggests, the book reaches beyond the technical side of LISP to present colorful applications, historical comments and quotations, computational philosophy, consequences of LISP's exceptional power, and much more. The material has been designed to appeal to a variety of readers, from the bright freshman to the practicing professional, and from computer scientists and mathematicians to chemists, engineers, and philosophers. ; 8vo 8" - 9" tall; xviii, 278 pages.…

Condition: As New. Unread book in perfect condition.

paperback. Condition: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind.

Condition: New. In English.

paperback. Condition: Acceptable. Please see the condition note after this for details, if this is missing please consider Acceptable to mean poor quality that could include major staining, water damage, writing, missing dustjacket, etc etc. Our books are dispatched from a Yorkshire former cotton mill. We list via barcode/ISBN so please note that the images are stock images and may not be the exact copy you receive, furthermore the details about edition and year might not be accurate as many publishers reuse the same ISBN for multiple editions and as we simply scan a barcode or enter an ISBN we do not check the validity of the edition data when listing. If you're looking for an exact edition please don't order (at least not without checking with us first, although we don't always have time to check). We aim to dispatch prompty, the service used will depend on order value and book size. We can ship to most countries, see our shipping policies. Payment is via Abe only.…

Paperback. Condition: New.

Condition: New.

Condition: As New. Unread book in perfect condition.

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: very_good. Fast Free Shipping â" Very Good condition book with a firm cover and clean pages. Shows normal use and some light wear or limited notes markings. A solid, nice copy to enjoy.

Taschenbuch. 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.…

Taschenbuch. 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.…

Condition: Good. 2nd. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.