Programmieren Prolog (44 results)
Published by München ; Wien : Oldenbourg, 1988
- Softcover
Seller: Antiquariat Smock, Freiburg, GermanyAntiquariat Smock
Contact seller5-star sellerCondition: Used - Very good
£ 17.60
£ 14.44 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].
Seller: Book Broker, Berlin, GermanyBook Broker
Contact seller5-star sellerCondition: Used - Very good
£ 12.86
£ 30.62 shippingShips from Germany to U.S.A.Quantity: 1 available
unknown_binding. Condition: Gut. 290 S. Alle Bücher & Medienartikel von Book Broker sind stets in gutem & sehr gutem gebrauchsfähigen Zustand. Die Ausgabe des gelieferten Exemplars kann um bis zu 10 Jahre vom angegebenen Veröffentlichungsjahr abweichen und es kann sich um eine abweichende Auflage handeln. Unser Produktfoto entsp…richt dem hier angebotenen Artikel, dieser weist folgende Merkmale auf: Altersentsprechend nachgedunkelte/saubere Seiten in fester Bindung. Schutzumschlag weist deutliche Gebrauchsspuren auf. Sprache: Englisch Gewicht in Gramm: 650.
Published by Oldenbourg,, München,, 1988
- Hardcover
Seller: Sigrun Wuertele buchgenie_de, Altenburg, GermanySigrun Wuertele buchgenie_de
Contact seller5-star sellerCondition: Used - Very good
£ 7.02
£ 32.45 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.
- 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.51
£ 13.63 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.
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
£ 37.79
£ 13.63 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.68
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 58.76
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.36
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Condition: Used - Good
£ 38.20
£ 8.54 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.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 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.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
£ 12.86
£ 89.70 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: 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, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 56.68
£ 8.97 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.47
£ 34.17 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: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 68.90
£ 7.84 shippingShips within U.S.A.Quantity: 15 available
Condition: New. 1991. Paperback. . . . . . Books ship from the US and Ireland.
- Hardcover
Seller: book-link, Nufringen, BW, Germanybook-link
Contact seller5-star sellerCondition: Used - Fine
£ 35.19
£ 42.63 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.75
£ 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 seller5-star sellerCondition: Used - Very good
£ 47.50
£ 34.13 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
£ 32.56
£ 89.70 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
£ 33.53
£ 89.70 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
£ 43.98
£ 54.08 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, MOL, Germanyralfs-buecherkiste
Contact seller5-star sellerCondition: Used - Very good
£ 10.56
£ 89.70 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.
- Softcover
Seller: Mispah books, Redhill, SURRE, 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: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 114.58
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Mispah books, Redhill, SURRE, 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.55
£ 89.70 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.
- Softcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Very good
£ 39.41
£ 89.70 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.
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 142.43
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: Rarewaves USA, OSWEGO, IL, U.S.A.Rarewaves USA
Contact seller5-star sellerCondition: New
£ 144.47
Free ShippingShips within U.S.A.Quantity: Over 20 available
Hardback. Condition: New. Reprint 2024 ed.
