Edité par München ; Wien : Oldenbourg, 1988
ISBN 10 : 3486207237 ISBN 13 : 9783486207231
Vendeur : Antiquariat Smock, Freiburg, Allemagne
EUR 20
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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].
Vendeur : Book Broker, Berlin, Allemagne
EUR 14,61
Quantité disponible : 1 disponible(s)
Ajouter au panierunknown_binding. Etat : 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 entspricht 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.
Edité par Oldenbourg,, München,, 1988
ISBN 10 : 3486207237 ISBN 13 : 9783486207231
Vendeur : Sigrun Wuertele buchgenie_de, Altenburg, Allemagne
EUR 7,98
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
Langue: allemand
Edité par Braunschweig ; Wiesbaden : Vieweg, 1987
ISBN 10 : 3528045701 ISBN 13 : 9783528045708
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
EUR 36,95
Quantité disponible : 2 disponible(s)
Ajouter au panierBroschiert. Etat : 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.
Langue: allemand
Edité par Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong : Springer, 1990
ISBN 10 : 3540163840 ISBN 13 : 9783540163848
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
EUR 42,95
Quantité disponible : 1 disponible(s)
Ajouter au panierBroschiert. Etat : 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.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 55,08
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 69,04
Quantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 60,72
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Langue: allemand
ISBN 10 : 3540163840 ISBN 13 : 9783540163848
Vendeur : medimops, Berlin, Allemagne
EUR 43,42
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 61,25
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 61,25
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Buchpark, Trebbin, Allemagne
EUR 14,62
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Produktart: Bücher | Keine Beschreibung verfügbar.
Langue: allemand
Edité par Vieweg+Teubner Verlag 1987-01-01, 1987
ISBN 10 : 3528045701 ISBN 13 : 9783528045708
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 57,63
Quantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
EUR 64,42
Quantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. 1991. Paperback. . . . . .
Langue: allemand
Edité par Braunschweig ; Wiesbaden : Vieweg, 1987
ISBN 10 : 3528045701 ISBN 13 : 9783528045708
Vendeur : Versandantiquariat Claudia Graf, Lüdenscheid, Allemagne
EUR 36,90
Quantité disponible : 1 disponible(s)
Ajouter au panier*kart. Etat : 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.
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
EUR 80,95
Quantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. 1991. Paperback. . . . . . Books ship from the US and Ireland.
Langue: allemand
Edité par Oldenbourg Wissenschaftsverlag, 1988
ISBN 10 : 3486208276 ISBN 13 : 9783486208276
Vendeur : book-link, Nufringen, BW, Allemagne
EUR 40
Quantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : Sehr gut. 290 Seiten; M25-07-S-13-VG Sprache: Deutsch Gewicht in Gramm: 1.
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 84,10
Quantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 103 pages. German language. 9.60x6.69x0.25 inches. In Stock.
Vendeur : BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Allemagne
EUR 53,99
Quantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : 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.
Edité par Oldenbourg Wissenschaftsverlag, 1988
ISBN 10 : 3486208276 ISBN 13 : 9783486208276
Vendeur : Buchpark, Trebbin, Allemagne
EUR 37
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Gut. Zustand: Gut | Seiten: 290 | Produktart: Bücher | Keine Beschreibung verfügbar.
Edité par Oldenbourg Wissenschaftsverlag, 1988
ISBN 10 : 3486208276 ISBN 13 : 9783486208276
Vendeur : Buchpark, Trebbin, Allemagne
EUR 38,11
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Seiten: 290 | Produktart: Bücher | Keine Beschreibung verfügbar.
Langue: allemand
Edité par Vieweg+Teubner Verlag, Vieweg+Teubner Verlag, 1991
ISBN 10 : 3528051582 ISBN 13 : 9783528051587
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 49,99
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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
Quantité disponible : 1 disponible(s)
Ajouter au panierLeinen Pp. 18*25 cm. Etat : Gut. 290 Seiten altersbedingt guter Zustand, Bibliotheksexemplar 200420155 Sprache: Deutsch Gewicht in Gramm: 650.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 103,69
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. Like New. book.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 135,05
Quantité disponible : 15 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 114,54
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Vendeur : Buchpark, Trebbin, Allemagne
EUR 36,99
Quantité disponible : 2 disponible(s)
Ajouter au panierEtat : 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.
Vendeur : Buchpark, Trebbin, Allemagne
EUR 44,79
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Gut. Zustand: Gut | Seiten: 345 | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar.
EUR 167,32
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
EUR 169,72
Quantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. Etat : New. Reprint 2024 ed.