Sprache: Englisch
Verlag: Berlin ; Heidelberg ; Singapore ; Tokyo ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Santa Clara : Springer, 1997
ISBN 10: 3540629270 ISBN 13: 9783540629276
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
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.
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
EUR 34,72
Anzahl: 1 verfügbar
In den WarenkorbZustand: 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.
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 1987
ISBN 10: 354017611X ISBN 13: 9783540176114
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: 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.
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, Niederlande
Zustand: 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.
Verlag: Springer Berlin 1984, 1984
Anbieter: Antiquariat Thomas & Reinhard, Recklinghausen, NRW, Deutschland
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.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 42,80
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: 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.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 61,35
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: medimops, Berlin, Deutschland
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
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.
Anbieter: Sell Books, Elland, YORKS, Vereinigtes Königreich
EUR 69,69
Anzahl: 1 verfügbar
In den Warenkorbpaperback. 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.
Zustand: 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.
Anbieter: AproposBooks&Comics, London, Vereinigtes Königreich
EUR 75,19
Anzahl: 1 verfügbar
In den WarenkorbSoft cover. Zustand: As New.
paperback. Zustand: Befriedigend. 232 Seiten; 9783540191292.4 Gewicht in Gramm: 500.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 86,10
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: River Publishers (edition 2), 2023
ISBN 10: 8770227195 ISBN 13: 9788770227193
Anbieter: BooksRun, Philadelphia, PA, USA
Hardcover. Zustand: New. 2. The item is brand new, never used or read. It's in perfect condition and may include supplements and/or access codes or come shrink-wrapped.
Sprache: Englisch
Verlag: Berlin; Heidelberg; New York; London; Paris; Tokyo : Springer, 1987
ISBN 10: 3540181997 ISBN 13: 9783540181996
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
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.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 92,28
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
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.
Sprache: Englisch
Verlag: New York ; Berlin ; Heidelberg ; London ; Paris ; Tokyo ; Hong Kong : Springer, 1990
ISBN 10: 354097072X ISBN 13: 9783540970729
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
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.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
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.
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
EUR 96,51
Anzahl: 1 verfügbar
In den WarenkorbZustand: 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.
Sprache: Englisch
Verlag: Berlin, Heidelberg, New York: Springer-Verlag, 1987
ISBN 10: 3540181997 ISBN 13: 9783540181996
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Zustand: Sehr gut. 2nd, extended ed. XII, 212 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: 516 gebundene Ausgabe gebundene Ausgabe.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
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.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 124,75
Anzahl: 3 verfügbar
In den WarenkorbZustand: New.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 119,60
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 752 pages. 9.25x6.00x1.70 inches. In Stock.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 129,38
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Zustand: Gut. Zustand: Gut | Seiten: 332 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 133,70
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Inductive Logic Programming is a young and rapidly growing field combining machine learning and logic programming. This self-contained tutorial is the first theoretical introduction to ILP; it provides the reader with a rigorous and sufficiently broad basis for future research in the area.In the first part, a thorough treatment of first-order logic, resolution-based theorem proving, and logic programming is given. The second part introduces the main concepts of ILP and systematically develops the most important results on model inference, inverse resolution, unfolding, refinement operators, least generalizations, and ways to deal with background knowledge. Furthermore, the authors give an overview of PAC learning results in ILP and of some of the most relevant implemented systems.