Publicado por Oldenbourg Wissenschaftsverlag, 1988
ISBN 10: 3486207237 ISBN 13: 9783486207231
Librería: Ammareal, Morangis, Francia
EUR 3,14
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Publicado por Oldenbourg,, München,, 1988
ISBN 10: 3486207237 ISBN 13: 9783486207231
Librería: Sigrun Wuertele buchgenie_de, Altenburg, Alemania
EUR 7,98
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Publicado por Hüthig Heidelberg,, 1990
ISBN 10: 3778519050 ISBN 13: 9783778519059
Librería: Bernhard Kiewel Rare Books, Grünberg, Alemania
EUR 10,00
Cantidad disponible: 1 disponibles
Añadir al carrito24 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.
Publicado por München ; Wien : Oldenbourg, 1988
ISBN 10: 3486207237 ISBN 13: 9783486207231
Librería: Antiquariat Smock, Freiburg, Alemania
EUR 20,00
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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].
Idioma: Alemán
Publicado por Braunschweig ; Wiesbaden : Vieweg, 1987
ISBN 10: 3528045701 ISBN 13: 9783528045708
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
EUR 36,95
Cantidad disponible: 2 disponibles
Añadir al carritoBroschiert. Condición: 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.
Idioma: Alemán
ISBN 10: 3540163840 ISBN 13: 9783540163848
Librería: medimops, Berlin, Alemania
EUR 32,94
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Idioma: Alemán
Publicado por Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong : Springer, 1990
ISBN 10: 3540163840 ISBN 13: 9783540163848
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
EUR 42,95
Cantidad disponible: 1 disponibles
Añadir al carritoBroschiert. Condición: 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.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 53,98
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Butterfly Books GmbH & Co. KG, Herzebrock-Clarholz, Alemania
EUR 7,20
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Sehr gut. 160 Seiten Zustand: SEHR GUTER Zustand! HC1-110-6/8-00163117 Sprache: Deutsch Gewicht in Gramm: 249.
Librería: Buchpark, Trebbin, Alemania
EUR 14,62
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Produktart: Bücher | Keine Beschreibung verfügbar.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 59,50
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,02
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,02
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Idioma: Alemán
Publicado por Vieweg+Teubner Verlag 1987-01-01, 1987
ISBN 10: 3528045701 ISBN 13: 9783528045708
Librería: Chiron Media, Wallingford, Reino Unido
EUR 56,89
Cantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 64,26
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New. 1991. Paperback. . . . . .
Idioma: Alemán
Publicado por Braunschweig ; Wiesbaden : Vieweg, 1987
ISBN 10: 3528045701 ISBN 13: 9783528045708
Librería: Versandantiquariat Claudia Graf, Lüdenscheid, Alemania
EUR 36,90
Cantidad disponible: 1 disponibles
Añadir al carrito*kart. Condición: 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.
Librería: Versandantiquariat Felix Mücke, Grasellenbach - Hammelbach, Alemania
EUR 25,98
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Befriedigend. 320 Seiten; Artikel stammt aus Nichtraucherhaushalt! M17326 Sprache: Deutsch Gewicht in Gramm: 513.
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
EUR 79,41
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New. 1991. Paperback. . . . . . Books ship from the US and Ireland.
Idioma: Alemán
Publicado por Oldenbourg Wissenschaftsverlag, 1988
ISBN 10: 3486208276 ISBN 13: 9783486208276
Librería: book-link, Nufringen, BW, Alemania
EUR 40,00
Cantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Sehr gut. 290 Seiten; M25-07-S-13-VG Sprache: Deutsch Gewicht in Gramm: 1.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 82,53
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 103 pages. German language. 9.60x6.69x0.25 inches. In Stock.
Librería: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Alemania
EUR 53,99
Cantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: 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.
Publicado por Oldenbourg Wissenschaftsverlag, 1988
ISBN 10: 3486208276 ISBN 13: 9783486208276
Librería: Buchpark, Trebbin, Alemania
EUR 29,90
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Gut. Zustand: Gut | Seiten: 290 | Produktart: Bücher | Keine Beschreibung verfügbar.
Publicado por Oldenbourg Wissenschaftsverlag, 1988
ISBN 10: 3486208276 ISBN 13: 9783486208276
Librería: Buchpark, Trebbin, Alemania
EUR 29,90
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 290 | Produktart: Bücher | Keine Beschreibung verfügbar.
Idioma: Alemán
Publicado por Vieweg+Teubner Verlag, Vieweg+Teubner Verlag, 1991
ISBN 10: 3528051582 ISBN 13: 9783528051587
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 49,99
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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ösungen versehen.Das Buch kann als Begleitlektüre für Lehrveranstaltungen und zum Selbststudium empfohlen werden.
EUR 12,00
Cantidad disponible: 1 disponibles
Añadir al carritoLeinen Pp. 18*25 cm. Condición: Gut. 290 Seiten altersbedingt guter Zustand, Bibliotheksexemplar 200420155 Sprache: Deutsch Gewicht in Gramm: 650.
Librería: preigu, Osnabrück, Alemania
EUR 49,99
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 102,37
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.
Librería: Buchpark, Trebbin, Alemania
EUR 29,90
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Gut. Zustand: Gut | Seiten: 345 | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar.
Librería: Buchpark, Trebbin, Alemania
EUR 29,90
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: 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 kommentierten Lösungen versehen.Das Buch kann als Begleitlektüre für Lehrveranstaltungen und zum Selbststudium empfohlen werden.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 113,08
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.