Programmieren Prolog (45 results)
Published by Oldenbourg Wissenschaftsverlag 1988
- Softcover
Seller: Ammareal, Morangis, FranceAmmareal
Contact seller5-star sellerCondition: Used - Fine
Original price: £ 3.10; 10% offCurrent price: £ 2.79
£ 14.27 shippingShips from France to U.S.A.Quantity: 1 available
Condition: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 1988. 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 1988. Ammareal gives back up to 15% of this item's net… price to charity organizations.
Published by Oldenbourg,, München, 1988
- Hardcover
Seller: Sigrun Wuertele buchgenie_de, Altenburg, GermanySigrun Wuertele buchgenie_de
Contact seller4-star sellerCondition: Used - Very good
£ 7.11
£ 32.86 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: gut - gebraucht. Gebundene Ausgabe, 176 S., Ohne handschriftliche Eintragungen im Text, ausgesondertes Büchereiexemplar, Stempel, Nummer, trotzdem schönes Exemplar in gutem Zustand, Zustand: 3, gut - gebraucht, Gebundene Ausgabe, Oldenbourg, München, , 1988 176 S., Professionelles Programmieren mit TURBO PROLOG, Kinne…brock, Werner.
Published by Hüthig Heidelberg, 1990
- Softcover
Seller: Bernhard Kiewel Rare Books, Grünberg, GermanyBernhard Kiewel Rare Books
Contact seller5-star sellerCondition: Used
£ 8.91
£ 36.28 shippingShips from Germany to U.S.A.Quantity: 1 available
24 x 17. 207 Seiten. OKart. Ordnungsgemäß aus einer Universitäts-Bibliothek ausgesondert (Stempel, Rückenschild). Einbandkanten etwas berieben, sonst guter Zustand. Sprache: Deutsch Gewicht in Gramm: 400.
Published by München ; Wien : Oldenbourg 1988
- Softcover
Seller: Antiquariat Smock, Freiburg, GermanyAntiquariat Smock
Contact seller5-star sellerCondition: Used - Very good
£ 17.82
£ 29.32 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Gut. Formateinband: Paperback / kartoniert 174 S.; 24 cm 1. Aufl.; Rücken geblichen; sonst in gutem Zustand. Sprache: Deutsch Gewicht in Gramm: 400 [Stichwörter: Programmieren, Programmiersprachen, Programmiersprache].
- Softcover
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germanybooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contact seller5-star sellerCondition: Used - Very good
£ 32.92
£ 13.80 shippingShips from Germany to U.S.A.Quantity: 2 available
Broschiert. Condition: Gut. XII, 301 S. : graph. Darst. ; 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. Leichte altersbedingte Anbräunung des Papiers. Sprache: Deutsch Gew…icht in Gramm: 535.
Condition: Used - Good
£ 29.35
£ 8.65 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: 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.
Language: German
Published by Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong : Springer 1990
- Softcover
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germanybooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contact seller5-star sellerCondition: Used - Very good
£ 38.27
£ 13.80 shippingShips from Germany to U.S.A.Quantity: 1 available
Broschiert. Condition: Gut. XIV, 331 S. : 43 Ill. u. graph. Darst. 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. Sprache: Deutsch Gewicht in Gramm: 640.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 45.35
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Hardcover
Seller: Butterfly Books GmbH & Co. KG, Herzebrock-Clarholz, GermanyButterfly Books GmbH & Co. KG
Contact seller5-star sellerCondition: Used - Fine
£ 6.42
£ 51.90 shippingShips from Germany to U.S.A.Quantity: 1 available
Hardcover. Condition: Sehr gut. 160 Seiten Zustand: SEHR GUTER Zustand! HC1-110-6/8-00163117 Sprache: Deutsch Gewicht in Gramm: 249.
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
£ 13.03
£ 90.82 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Produktart: Bücher | Keine Beschreibung verfügbar.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 49.99
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.43
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.43
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.80
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 57.39
£ 9.08 shippingShips from Ireland to U.S.A.Quantity: 15 available
Condition: New. 1991. Paperback. . . . . .
More images- Softcover
Seller: Versandantiquariat Claudia Graf, Lüdenscheid, GermanyVersandantiquariat Claudia Graf
Contact seller5-star sellerCondition: Used - Fine
£ 32.88
£ 34.60 shippingShips from Germany to U.S.A.Quantity: 1 available
*kart. Condition: Sehr gut. XII, 301 S. : graph. Darst. ; 23 cm , 546 g - sauberes Buch mit wenigen Spuren, unkenntlich gemachter Namenseintrag (siehe auch mein Foto) [sw] Sprache: Deutsch Gewicht in Gramm: 549.
- Softcover
Seller: Versandantiquariat Felix Mücke, Grasellenbach - Hammelbach, GermanyVersandantiquariat Felix Mücke
Contact seller5-star sellerCondition: Used - Good
£ 23.15
£ 51.90 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Befriedigend. 320 Seiten; Artikel stammt aus Nichtraucherhaushalt! M17326 Sprache: Deutsch Gewicht in Gramm: 513.
- Softcover
Seller: Kennys Bookstore, Olney, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 68.71
£ 7.82 shippingShips within U.S.A.Quantity: 15 available
Condition: New. 1991. Paperback. . . . . . Books ship from the US and Ireland.
- Hardcover
Seller: book-link, Nufringen, Germanybook-link
Contact seller5-star sellerCondition: Used - Fine
£ 35.64
£ 43.16 shippingShips from Germany to U.S.A.Quantity: 1 available
hardcover. Condition: Sehr gut. 290 Seiten; M25-07-S-13-VG Sprache: Deutsch Gewicht in Gramm: 1.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 69.46
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 103 pages. German language. 9.60x6.69x0.25 inches. In Stock.
- Softcover
Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermanyBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contact seller4-star sellerCondition: Used - Very good
£ 48.10
£ 34.55 shippingShips from Germany to U.S.A.Quantity: 1 available
Softcover. Condition: gut. 1992. Die Programmiersprache Prolog hat ihre Bewährungsprobe im praktischen Einsatz bestanden, und das logische Programmieren hat unter den Programmiertechniken seinen festen Platz gefunden. Worin liegen Attraktion und Nutzen des logischen Programmierens, was sind die charakteristischen Unterschiede zu… anderen Programmiertechniken, und welche Rolle kommt der Theorie des logischen Programmierens zu? Dieses Buch macht den Leser mit den Grundlagen und Möglichkeiten der logischen Programmierung vertraut. Die ausführliche Darstellung mit Übungsaufgaben und ausgewählten Lösungen setzt keine speziellen Vorkenntnisse in formaler Logik voraus. In der Einleitung werden die wichtigsten Probleme und Resultate der Theorie anhand von Beispielen anschaulich vorgestellt. Es ist ein besonderes Anliegen des Buches, zu zeigen, wie höhere Konzepte der mathematischen Logik, z.B. vollständige Theorien, dreiwertige Logik oder saturierte Strukturen, in natürlicher und verständlicher Weise sinnvoll eingesetzt werden können. Auch dem neuen Thema der logischen Programmierung mit Randbedingungen (constraints) ist ein Kapitel gewidmet. In allen Teilen des Buches wird Wert gelegt auf klare Darstellung, mathematische Präzision und vollständige, nachvollziehbare Beweise. Auf übertriebene Systematik und Notation wird jedoch verzichtet, und Verallgemeinerungen werden erst dort eingeführt, wo sie gebraucht werden. Das Buch ist sowohl als vorbereitende und begleitende Lektüre zu Vorlesungen als auch zum Selbststudium geeignet. Inhalt: 0 Einleitung.- 1 Voraussetzungen.- 1.1 Terminologie und Notation.- 1.2 Übungsaufgaben.- 2 Der Prädikatenkalkül erster Stufe.- 2.1 Die Syntax des Prädikatenkalküls erster Stufe.- 2.2 Semantik des Prädikatenkalküls erster Stufe.- 2.3 Die Interpretation von Formeln des Prädikatenkalküls.- 2.4 Herbrand-Strukturen.- 2.5 Übungsaufgaben.- 3 Unifikation.- 3.1 Substitution.- 3.2 Der Termverband.- 3.3 Unifikation sortierter Terme.- 3.4 Unifikation von Termen zweiter Stufe.- 3.5 Übungsaufgaben.- 4 Unifikationsalgorithmen.- 4.1 Der Algorithmus von J. A. Robinson.- 4.2 Der Martelli-Montanari Algorithmus.- 4.3 Übungsaufgaben.- 5 Resolutionskalküle.- 5.1 Das Resolutionsprinzip.- 5.2 Die Stützmengen-Strategie.- 5.3 Beweisdiagramme.- 5.4 Modellelimination.- 5.5 Übungsaufgaben.- 6 PROLOG-Situationen.- 6.1 Lineare Resolution.- 6.2 Beweissuchbäume.- 6.3 Fixpunkte.- 6.4 Im Endlichen erfolglose Beweissuchbäume.- 6.5 Übungsaufgaben.- 7 Eigenschaften von Hornkauseln.- 7.1 Modelltheoretische Eigenschaften von Hornklauseln.- 7.2 Die Turingvollständigkeit des Hornklauselfragments.- 7.3 Übungsaufgaben.- 8 Allgemeine PROLOG-Situationen.- 8.1 NF-Beweissuchbäume.- 8.2 Die Vervollständigung.- 8.3 Der Korrektheitssatz für NF-Beweissuche.- 8.4 Fixpunkte.- 8.5 Ein Vollständigkeitssatz.- 8.6 Übungsaufgaben.- 9 Dreiwertige Semantik für verallgemeinerte PROLOG-Situationen.- 9.1 Einführung in die dreiwertige Logik.- 9.2 Die Dreiwertige Vervollständigung.- 9.3 Exkurs über saturierte Strukturen.- 9.4 Übungsaufgaben.- 10 PROLOG-Situationen mit Gleichheit.- 10.1 Syntax und Semantik.- 10.2 K-Herbrand-Strukturen.- 10.3 E-Resolution.- 10.4 Übungsaufgaben.- 11 Logische Programme mit Randbedingungen.- 11.1 Prolog-Situationen mit Randbedingungen.- 11.2 Übungsaufgaben.- Lösungen Sprache deutsch Maße 155 x 235 mm Einbandart Paperback Mathematik Informatik Informatiker Beweis Division dreiwertige Logik Logiker Logische Programmierung Prädikate Prädikatenlogik Programmieren Programmierung PROLOG Resolutionskalkül ISBN-10 3-540-55702-4 / 3540557024 ISBN-13 978-3-540-55702-9 / 9783540557029 Theorie der logischen Programmierung Eine elementare Einführung (Springer-Lehrbuch) von Peter H. Schmitt In deutscher Sprache. 246 pages.
Published by Oldenbourg Wissenschaftsverlag 1988
- Hardcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Very good
£ 34.73
£ 90.82 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Gut. Zustand: Gut | Seiten: 290 | Produktart: Bücher | Keine Beschreibung verfügbar.
Published by Oldenbourg Wissenschaftsverlag 1988
- Hardcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
£ 35.77
£ 90.82 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 290 | Produktart: Bücher | Keine Beschreibung verfügbar.
Language: German
Published by Vieweg+Teubner Verlag, Vieweg+Teubner Verlag 1991
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 44.54
£ 54.76 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Das Buch gibt eine leichte lesbare und anschauliche Beschreibung der Ableitbarkeitsprüfung. Auch wird in aller Ausführlichkeit gezeigt, wie sich Listen aufbauen und bearbeiten lassen. Alle Kapitel des Buches sind mit Aufgaben und kommentierten Lösu…ngen versehen.Das Buch kann als Begleitlektüre für Lehrveranstaltungen und zum Selbststudium empfohlen werden.
- Hardcover
Seller: ralfs-buecherkiste, Herzfelde, Germanyralfs-buecherkiste
Contact seller5-star sellerCondition: Used - Very good
£ 10.69
£ 90.82 shippingShips from Germany to U.S.A.Quantity: 1 available
Leinen Pp. 18*25 cm. Condition: Gut. 290 Seiten altersbedingt guter Zustand, Bibliotheksexemplar 200420155 Sprache: Deutsch Gewicht in Gramm: 650.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.54
£ 60.55 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Programmieren in PROLOG | Eine umfassende und praxisgerechte Einführung | Wolf-Michael Kähler (u. a.) | Taschenbuch | xii | Deutsch | 1991 | Vieweg & Teubner | EAN 9783528051587 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 W…iesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: Mispah books, Redhill, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 86.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. Like New. book.
- Softcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Very good
£ 28.40
£ 90.82 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Gut. Zustand: Gut | Seiten: 345 | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Softcover
Seller: Mispah books, Redhill, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 95.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
£ 32.95
£ 90.82 shippingShips from Germany to U.S.A.Quantity: 2 available
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 384 | Sprache: delaware | Produktart: Bücher | Das Buch gibt eine leichte lesbare und anschauliche Beschreibung der Ableitbarkeitsprüfung. Auch wird in aller Ausführlichkeit gezeigt, wie sich Listen aufbauen und bearbeiten lassen. Alle Kapitel des Buches sind mit Aufgaben und komm…entierten Lösungen versehen.Das Buch kann als Begleitlektüre für Lehrveranstaltungen und zum Selbststudium empfohlen werden.
