foundations logic programming (49 Ergebnisse)

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

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

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

Broschiert. Zustand: 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.

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

Hardcover. Zustand: 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.

Zustand: Very Good. 2nd. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Hardcover. Zustand: 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.

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

Zustand: Gut. 746 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1125 24,8 x 16,5 x 3,8 cm, Gebundene Ausgabe.

Softcover. Zustand: 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.

Broschiert. Zustand: Gut. 278 Seiten; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 420.

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.

Softcover. XVIII, 278 S. : 51 Ill. u. graph. Darst. ; 23 cm Very good condition. Reading pages are very clean and without marks. Slight traces of storage or usage. --- Sehr guter Zustand. Leseseiten sehr sauber und ohne Markierungen. Evtl. minimale Lager bzw. Gebrauchsspuren. 9783540970729 Sprache: Englisch Gewicht in Gramm: 404.

paperback. Zustand: 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.

Soft cover. Zustand: As New.

gebundene Ausgabe. Zustand: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. 307 Seiten, Englisch 750g.

Hardcover. Zustand: As New. 2. It's a preowned item in almost perfect condition. It has no visible cosmetic imperfections. May come without any shrink wrap; pages are clean and not marred by notes or folds of any kind.

Taschenbuch. Zustand: 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. Zustand: Neu. Neuware -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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Zustand: 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.

cloth, 8vo vii+161 pp. contributions by different authors; inferential analysis; theory of computation; an abstract computer; context-free languages; good condition (library-stamps on endpaper and titlepage; no annatations).

Zustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.

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.

paperback. Zustand: Befriedigend. 232 Seiten; 9783540191292.4 Gewicht in Gramm: 500.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume consists of some of the papers that were delivered during the workshop on 'Foundations of Logic and Functional Programming' held in Trento, Italy, from December 15th to 19th, 1986. The meeting centered on themes and trends in Functional Programming and in Logic Programming. This book contains five papers contributed by the invited speakers and five selected contributions.

gebundene Ausgabe. Zustand: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XII, 212 Seiten, Englisch 516g.

Zustand: New.

Paperback. Zustand: Brand New. 752 pages. 9.25x6.00x1.70 inches. In Stock.

Zustand: Gut. Zustand: Gut | Seiten: 332 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.