Gesamtpreis (1 Artikel Artikel):
Versandziel:
foundations logic programming (55 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (55)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (1)
- Angebotsfoto (19)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Foundations of Inductive Logic Programming
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1997
ISBN 10: 3540629270 ISBN 13: 9783540629276
SonderangebotEUR 16,64
EUR 16,50 Versand
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbSoftcover. 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.
-
Foundations of inductive logic programming. Lecture notes in computer science ; Vol. 1228 : Lecture notes in artificial intelligence
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
Verkäuferbewertung 5 von 5 Sternen
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.
-
Foundations of Logic Programming
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 34,69
EUR 5,77 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 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.
-
Foundations of Logic Programming
Verlag: Springer Berlin 1984, 1984
Anbieter: Antiquariat Thomas & Reinhard, Recklinghausen, NRW, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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.
-
Foundations of Logic Programming.
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, Niederlande
Verkäuferbewertung 4 von 5 Sternen
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.
-
Foundations of Equational Logic Programming (Lecture Notes in Computer Science, 353)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 41,84
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Foundations of Deductive Databases and Logic Programming
Sprache: Englisch
Verlag: Morgan Kaufmann Publishers In 01.12.1987., 1987
ISBN 10: 0934613400 ISBN 13: 9780934613408
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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.
-
Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings (Lecture Notes in Computer Science, 306)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,95
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
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.
-
LISP, Lore, and Logic : an algebraic view of LISP programming, foundations, and applications.
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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.
-
LISP, Lore, and Logic: An Algebraic View of LISP Programming, Foundations, and Applications
Anbieter: Sell Books, Elland, YORKS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 65,74
EUR 14,02 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 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.
-
Foundations of Disjunctive Logic Programming
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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.
-
LISP, Lore, and Logic: An Algebraic View of LISP Programming, Foundations, and Applications
Anbieter: AproposBooks&Comics, London, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 74,00
EUR 17,25 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbSoft cover. Zustand: As New.
-
Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings (Lecture Notes in Computer Science, 306, Band 306)
Anbieter: Studibuch, Stuttgart, Deutschland
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Befriedigend. 232 Seiten; 9783540191292.4 Gewicht in Gramm: 500.
-
Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning (River Publishing in Software Engineering)
Sprache: Englisch
Verlag: River Publishers (edition 2), 2023
ISBN 10: 8770227195 ISBN 13: 9788770227193
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.
-
Foundations of Inductive Logic Programming (Lecture Notes in Computer Science, 1228)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 84,10
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Foundations of Equational Logic Programming
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1989
ISBN 10: 354051533X ISBN 13: 9783540515333
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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.
-
LISP, Lore, and Logic: An Algebraic View of LISP Programming, Foundations, and Applications
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 90,14
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
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)
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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.
-
Foundations of logic programming
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
Verkäuferbewertung 5 von 5 Sternen
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.
-
LISP, Lore, and Logic : an algebraic view of LISP programming, foundations, and applications / W. Richard Stark
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
Verkäuferbewertung 5 von 5 Sternen
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.
-
Taschenbuch. Zustand: Neu. Foundations of Equational Logic Programming | Steffen Hölldobler | Taschenbuch | xii | Englisch | 1989 | Springer | EAN 9783540515333 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Zustand: Neu. 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) | Hartmut Ehrig (u. a.) | Taschenbuch | xiv | Englisch | 1987 | Springer | EAN 9783540176114 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Foundations of Logic Programming (Symbolic Computation)
Sprache: Englisch
Verlag: Berlin, Heidelberg, New York: Springer-Verlag, 1987
ISBN 10: 3540181997 ISBN 13: 9783540181996
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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.
-
Foundations of Logic and Functional Programming : Workshop, Trento, Italy, December 15-19, 1986. Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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.
-
Taschenbuch. Zustand: Neu. Foundations of Logic and Functional Programming | Workshop, Trento, Italy, December 15-19, 1986. Proceedings | Mauro Boscarol (u. a.) | Taschenbuch | viii | Englisch | 1988 | Springer | EAN 9783540191292 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning (River Publishers Series in Software Engineering)
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 122,79
EUR 7,50 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
In den WarenkorbZustand: New.
-
Foundations of Deductive Databases and Logic Programming
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 117,71
EUR 17,31 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 752 pages. 9.25x6.00x1.70 inches. In Stock.
-
Zustand: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Zustand: Gut. Zustand: Gut | Seiten: 332 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
