Order Total (1 Item Items):
Shipping Destination:
Programmieren Prolog (60 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (60)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (26)
- Not Print on Demand (54)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
Professionelles Programmieren mit Turbo Prolog
Published by Oldenbourg Wissenschaftsverlag, 1988
ISBN 10: 3486207237 ISBN 13: 9783486207231
US$ 3.59
Convert currencyUS$ 26.11 shipping from France to U.S.A.Quantity: 1 available
Add to basketCondition: 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.
-
Professionelles Programmieren mit Turbo Prolog.
Published by München ; Wien : Oldenbourg, 1988
ISBN 10: 3486207237 ISBN 13: 9783486207231
US$ 23.90
Convert currencyUS$ 14.97 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: 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].
-
Professionelles Programmieren mit TURBO PROLOG
Published by Oldenbourg,, München,, 1988
ISBN 10: 3486207237 ISBN 13: 9783486207231
Seller: Sigrun Wuertele buchgenie_de, Altenburg, Germany
Seller rating 5 out of 5 stars
US$ 9.54
Convert currencyUS$ 44.08 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: 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, Kinnebrock, Werner.
-
Programmieren in Turbo-Prolog. Realisierung von Expertensystemen
Published by Hüthig Heidelberg,, 1990
ISBN 10: 3778519050 ISBN 13: 9783778519059
US$ 11.95
Convert currencyUS$ 48.68 shipping from Germany to U.S.A.Quantity: 1 available
Add to basket24 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.
-
Sprachverarbeitung mit LISP und PROLOG auf dem PC. Programmieren von Mikrocomputern ; Bd. 27
Published by Braunschweig ; Wiesbaden : Vieweg, 1987
ISBN 10: 3528045701 ISBN 13: 9783528045708
Language: German
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
US$ 44.16
Convert currencyUS$ 15.03 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketBroschiert. 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 Gewicht in Gramm: 535.
-
Programmieren in Prolog : Eine Umfassende Und Praxisgerechte Einfuhrung -Language: German
Published by Vieweg+Teubner Verlag, 1991
ISBN 10: 3528051582 ISBN 13: 9783528051587
Language: German
Condition: New.
-
Programmieren in PROLOG (Paperback)
Published by Springer Fachmedien Wiesbaden, Weisbaden, 1991
ISBN 10: 3528051582 ISBN 13: 9783528051587
Language: German
Paperback. Condition: new. Paperback. Das Buch gibt eine leichte lesbare und anschauliche Beschreibung der Ableitbarkeitsprufung. Auch wird in aller Ausfuhrlichkeit gezeigt, wie sich Listen aufbauen und bearbeiten lassen. Alle Kapitel des Buches sind mit Aufgaben und kommentierten Losungen versehen.Das Buch kann als Begleitlekture fur Lehrveranstaltungen und zum Selbststudium empfohlen werden. Das Buch gibt eine leichte lesbare und anschauliche Beschreibung der Ableitbarkeitspruefung. Alle Kapitel des Buches sind mit Aufgaben und kommentierten Loesungen versehen.Das Buch kann als Begleitlektuere fuer Lehrveranstaltungen und zum Selbststudium empfohlen werden. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Programmieren in PROLOG: Eine umfassende und praxisgerechte Einführung (German Edition)
Published by Vieweg+Teubner Verlag, 1991
ISBN 10: 3528051582 ISBN 13: 9783528051587
Language: German
US$ 54.83
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Programmieren mit PROLOG.
Published by R. Oldenbourg Verlag;, 1988
ISBN 10: 3486208276 ISBN 13: 9783486208276
Language: German
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
US$ 45.36
Convert currencyUS$ 15.03 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketgebundene Ausgabe. Condition: Gut. 290 Seiten; Das Buch befindet sich in einem ordentlich erhaltenen Zustand. Sprache: Deutsch Gewicht in Gramm: 630.
-
Micro-PROLOG. Eine Einführung in das Programmieren
ISBN 10: 3343005665 ISBN 13: 9783343005666
Seller: Celler Versandantiquariat, Eicklingen, Germany
Association Member: GIAQ
Seller rating 5 out of 5 stars
US$ 8.37
Convert currencyUS$ 44.09 shipping from Germany to U.S.A.Quantity: 1 available
Add to basket1. Auflage, Fachbuchverlag, Leipzig ,1988. 160 S. mit 8 Bildern, 22 cm, kartoniert, (Bibliotheksexemplar)--- 250 Gramm.
-
US$ 4.48
Convert currencyUS$ 52.22 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: acceptable. Ausreichend/Acceptable: Exemplar mit vollständigem Text und sämtlichen Abbildungen oder Karten. Schmutztitel oder Vorsatz können fehlen. Einband bzw. Schutzumschlag weisen unter Umständen starke Gebrauchsspuren auf. / Describes a book or dust jacket that has the complete text pages (including those with maps or plates) but may lack endpapers, half-title, etc. (which must be noted). Binding, dust jacket (if any), etc may also be worn.
-
Programmieren in Prolog. Reihe "Informationstechnik und Datenverarbeitung"
Published by Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong : Springer, 1990
ISBN 10: 3540163840 ISBN 13: 9783540163848
Language: German
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
US$ 51.33
Convert currencyUS$ 15.03 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketBroschiert. 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.
-
US$ 4.68
Convert currencyUS$ 52.22 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: 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.
-
Probleme und Lösungen mit Turbo-Prolog: Logikaufgaben Sortierprogramme Auswerfen von Datenbanken Variationen von Bäumen (Programmieren von Mikrocomputern, 28) (German Edition)
Published by Vieweg+Teubner Verlag, 1988
ISBN 10: 3528045647 ISBN 13: 9783528045647
Language: German
US$ 64.33
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Turbo Prolog ? Einführung in die Anwendung (Programmieren von Mikrocomputern, 29) (German Edition)
Published by Vieweg+Teubner Verlag, 1988
ISBN 10: 3528045612 ISBN 13: 9783528045616
Language: German
US$ 64.33
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Sprachverarbeitung: mit LISP und PROLOG auf dem PC (Programmieren von Mikrocomputern, 27) (German Edition)
Published by Vieweg+Teubner Verlag, 1987
ISBN 10: 3528045701 ISBN 13: 9783528045708
Language: German
US$ 64.71
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Programmieren in PROLOG: Eine umfassende und praxisgerechte Einführung (German Edition)
Published by Vieweg+Teubner Verlag, 1991
ISBN 10: 3528051582 ISBN 13: 9783528051587
Language: German
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 62.60
Convert currencyUS$ 15.96 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Turbo Prolog ? Einführung in die Anwendung (Programmieren von Mikrocomputern, 29) (German Edition)
Published by Vieweg+Teubner Verlag, 1988
ISBN 10: 3528045612 ISBN 13: 9783528045616
Language: German
Condition: New.
-
Turbo Prolog ? Einführung in die Anwendung (Programmieren von Mikrocomputern, 29) (German Edition)
Published by Vieweg+Teubner Verlag, 1988
ISBN 10: 3528045612 ISBN 13: 9783528045616
Language: German
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 67.06
Convert currencyUS$ 15.96 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Sprachverarbeitung: mit LISP und PROLOG auf dem PC (Programmieren von Mikrocomputern, 27) (German Edition)
Published by Vieweg+Teubner Verlag, 1987
ISBN 10: 3528045701 ISBN 13: 9783528045708
Language: German
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 67.41
Convert currencyUS$ 15.96 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Probleme und Lösungen mit Turbo-Prolog: Logikaufgaben Sortierprogramme Auswerfen von Datenbanken Variationen von Bäumen (Programmieren von Mikrocomputern, 28) (German Edition)
Published by Vieweg+Teubner Verlag, 1988
ISBN 10: 3528045647 ISBN 13: 9783528045647
Language: German
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 67.41
Convert currencyUS$ 15.96 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 17.47
Convert currencyUS$ 121.84 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Produktart: Bücher.
-
Sprachverarbeitung: mit LISP und PROLOG auf dem PC (Programmieren von Mikrocomputern) (German Edition)
Published by Vieweg+Teubner Verlag 1987-01-01, 1987
ISBN 10: 3528045701 ISBN 13: 9783528045708
Language: German
US$ 65.58
Convert currencyUS$ 20.64 shipping from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
US$ 76.10
Convert currencyUS$ 18.57 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketSoftcover. IX, 331 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. 90A1354 3540163840 Sprache: Deutsch Gewicht in Gramm: 550.
-
US$ 25.68
Convert currencyUS$ 69.62 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketpaperback. Condition: Sehr gut. 345 Seiten; M25-07-T-01-VG Sprache: Deutsch Gewicht in Gramm: 1.
-
Programmieren in PROLOG: Eine umfassende und praxisgerechte Einf?hrung
Published by Vieweg+Teubner Verlag, 1991
ISBN 10: 3528051582 ISBN 13: 9783528051587
Language: German
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
US$ 86.56
Convert currencyUS$ 12.18 shipping from Ireland to U.S.A.Quantity: 15 available
Add to basketCondition: New. 1991. Paperback. . . . . .
-
Sprachverarbeitung: mit LISP und PROLOG auf dem PC (Programmieren von Mikrocomputern) (German Edition) (Programmieren von Mikrocomputern (27), Band 27)
Published by Vieweg+Teubner Verlag, 1987
ISBN 10: 3528045701 ISBN 13: 9783528045708
Language: German
Seller: Versandantiquariat Felix Mücke, Grasellenbach - Hammelbach, Germany
Seller rating 5 out of 5 stars
US$ 14.90
Convert currencyUS$ 87.03 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketTaschenbuch. Condition: Befriedigend. 320 Seiten; Artikel stammt aus Nichtraucherhaushalt! M17326 Sprache: Deutsch Gewicht in Gramm: 513.
-
Theorie der logischen Programmierung Eine elementare Einführung (Springer-Lehrbuch) von Peter H. Schmitt 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, dreiwer
Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Germany
Seller rating 5 out of 5 stars
US$ 70.40
Convert currencyUS$ 34.75 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketSoftcover. 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.
-
Programmieren in PROLOG: Eine umfassende und praxisgerechte Einf?hrung
Published by Vieweg+Teubner Verlag, 1991
ISBN 10: 3528051582 ISBN 13: 9783528051587
Language: German
Condition: New. 1991. Paperback. . . . . . Books ship from the US and Ireland.
-
Sprachverarbeitung mit LISP und PROLOG auf dem PC Jürgen Handke / Programmieren von Mikrocomputern ; Band 27
Published by Braunschweig ; Wiesbaden : Vieweg, 1987
ISBN 10: 3528045701 ISBN 13: 9783528045708
Language: German
Seller: Versandantiquariat Claudia Graf, Lüdenscheid, Germany
Seller rating 5 out of 5 stars
US$ 44.10
Convert currencyUS$ 71.94 shipping from Germany to U.S.A.Quantity: 1 available
Add to basket*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.
