Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Fynda 4 pocketböcker till priset av 3 →

Deduktive Datenbanken

Eine Einführung aus der Sicht der logischen Programmierung

AvArmin B. Cremers,Ulrike Griefahn

Häftad, Tyska, 1993

Del i serien Computational Intelligence

565 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1993-12-01
Mått:170 x 244 x 26 mm
Vikt:821 g
Format:Häftad
Språk:Tyska
Serie:Computational Intelligence
Antal sidor:464
Upplaga:1994
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783528047009

Utforska kategorier

Teknik: allmänt inom Naturvetenskap och teknik

Innehållsförteckning

1 Einleitung.- 2 Prädikatenlogik.- 3 Deduktive Datenbanken.- 4 Alternative Auswertungsmethoden.- 5 Typsysteme.- 6 Statische Transformationen.- 7 Integritätsprüfung.- 8 Änderungen.- A Prolog.- A.1 Prolog-Interpreter.- A.2 Korrektheit.- A.3 Vollständigkeit.- A.4 Effizienz.- A.5 Negation.- A.6 Kontrolle.- A.7 Datenbankprädikate.- A.8 Termmanipulation.- A.9 „all solutions“-Prädikate.- B Benutzungsschnittstelle.- B.1 Das Quellformat.- B.1.1 Deklarationen.- B.1.2 Klauseln und Änderungen.- B.1.3 Die Standardumgebung.- B.1.4 Bibliotheken.- B.2 Anweisungen der Schnittstelle.- B.3 Beispiel: Fahrraddatenbank.- B.3.1 Die Datenbank.- B.3.2 Anfragen.- B.3.3 Änderungen.- B.4 Beispiel: Graphen.- B.4.1 Die Datenbank.- B.4.2 Anfragen.- B.4.3 Änderungen.- C Realisierung in Prolog.- C.1 Übersetzung der Quelldatei.- C.1.1 Syntaxanalyse.- C.1.2 Meta-Programmierung.- C.1.3 Deklarationen.- C.1.4 Typinferenz.- C.1.5 Normalisierung.- C.1.6 Transformation in die relationale Form.- C.1.7 Modusprüfung.- C.1.8 Optimierung der Unifikation.- C.2 Bearbeitung von Anfragen.- C.3 Durchführung der Integritätsprüfung.- C.4 Bearbeitung von Änderungsanweisungen.- D Mathematische Grundlagen.- D.1 Logik.- D.2 Mengen, Relationen und Abbildungen.- D.3 Äquivalenzrelationen.- D.4 Monoide.- D.5 Natürliche Zahlen, Folgen und Bäume.- D.6 Graphen.- D.7 Induktive Definitionen.- D.8 Transitionssysteme.- D.9 Halbordnungen und vollständige Induktion.- D.10 Verbände und Fixpunkte.- D.11 Berechenbarkeit und Komplexität.- Sachwortverzeichnis.

Mer från samma författare

Yaniv Altshuler, Yuval Elovici, Armin B. Cremers, Nadav Aharony, Alex Pentland - Security and Privacy in Social Networks, Inbunden

Security and Privacy in Social Networks

Yaniv Altshuler, Yuval Elovici, Armin B. Cremers, Nadav Aharony, Alex Pentland

Inbunden, 2012

1 119 kr

Alex Pentland, Nadav Aharony, Armin B. Cremers, Yuval Elovici, Yaniv Altshuler - Security and Privacy in Social Networks, E-bok

Security and Privacy in Social Networks

Alex Pentland, Nadav Aharony, Armin B. Cremers, Yuval Elovici, Yaniv Altshuler

E-bok

2012

1 459 kr

Yaniv Altshuler, Yuval Elovici, Armin B. Cremers, Nadav Aharony, Alex Pentland - Security and Privacy in Social Networks, Häftad

Security and Privacy in Social Networks

Yaniv Altshuler, Yuval Elovici, Armin B. Cremers, Nadav Aharony, Alex Pentland

Häftad, 2014

1 174 kr

Armin B. Cremers, Thomas Christaller, Wolfram Burgard - KI-99: Advances in Artificial Intelligence, E-bok

KI-99: Advances in Artificial Intelligence

Armin B. Cremers, Thomas Christaller, Wolfram Burgard

E-bok

2003

687 kr

Wolfram Burgard, Thomas Christaller, Armin B. Cremers - KI-99: Advances in Artificial Intelligence, Häftad

KI-99: Advances in Artificial Intelligence

Wolfram Burgard, Thomas Christaller, Armin B. Cremers

Häftad, 1999

549 kr

Ralf Hinze, Ulrike Griefahn, Armin B. Cremers - Deduktive Datenbanken, E-bok

Deduktive Datenbanken

Ralf Hinze, Ulrike Griefahn, Armin B. Cremers

E-bok

2013

550 kr

Gerhard Heyer, Armin B. Cremers, Frank Oemig - Wissensbasierte Textverarbeitung: Schriftsatz und Typographie, E-bok

Wissensbasierte Textverarbeitung: Schriftsatz und Typographie

Gerhard Heyer, Armin B. Cremers, Frank Oemig

E-bok

2013

562 kr

Frank Oemig, Armin B. Cremers - Wissensbasierte Textverarbeitung: Schriftsatz Und Typographie: Möglichkeiten Einer Intelligenteren Textverarbeitung, Häftad

Wissensbasierte Textverarbeitung: Schriftsatz Und Typographie: Möglichkeiten Einer Intelligenteren Textverarbeitung

Frank Oemig, Armin B. Cremers

Häftad, 1991

556 kr

Mer från samma serie

Siegfried Gottwald - Fuzzy Sets and Fuzzy Logic, Häftad

Fuzzy Sets and Fuzzy Logic

Siegfried Gottwald

Häftad, 2012

362 kr

Patricia S. Churchland, Terrence J. Sejnowski, Wolfgang Bibel - Grundlagen zur Neuroinformatik und Neurobiologie, Häftad

Grundlagen zur Neuroinformatik und Neurobiologie

Patricia S. Churchland, Terrence J. Sejnowski, Wolfgang Bibel

Häftad, 2012

819 kr

Rudolf Kruse, Jörg Gebhardt, Rainer (Eds.) Palm, Wolfgang Bibel - Fuzzy-Systems in Computer Science, Häftad

Fuzzy-Systems in Computer Science

Rudolf Kruse, Jörg Gebhardt, Rainer (Eds.) Palm, Wolfgang Bibel

Häftad, 2012

565 kr

Doris Altenkrüger, Winfried Büttner, Wolfgang Bibel - Wissensbasierte Systeme, Häftad

Wissensbasierte Systeme

Doris Altenkrüger, Winfried Büttner, Wolfgang Bibel

Häftad, 1992

565 kr

Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub, Wolfgang Bibel - Wissensrepräsentation und Inferenz, Häftad

Wissensrepräsentation und Inferenz

Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub, Wolfgang Bibel

Häftad, 1993

616 kr

Andreas Scherer, Wolfgang Bibel - Neuronale Netze, Häftad

Neuronale Netze

Andreas Scherer, Wolfgang Bibel

Häftad, 1997

511 kr

Volker Nissen, Wolfgang Bibel - Einführung in Evolutionäre Algorithmen, Häftad

Einführung in Evolutionäre Algorithmen

Volker Nissen, Wolfgang Bibel

Häftad, 1997

461 kr

Frank Höppner, Frank Klawonn, Rudolf Kruse, Wolfgang Bibel - Fuzzy-Clusteranalyse, Häftad

Fuzzy-Clusteranalyse

Frank Höppner, Frank Klawonn, Rudolf Kruse, Wolfgang Bibel

Häftad, 1997

464 kr

Ingrid Gerdes, Frank Klawonn, Rudolf Kruse - Evolutionäre Algorithmen, Häftad

Evolutionäre Algorithmen

Ingrid Gerdes, Frank Klawonn, Rudolf Kruse

Häftad, 2004

342 kr

Jörg Biethahn, Albrecht Hönerloh, Jochen Kuhl, Marie-Claire Leisewitz, Volker Nissen, Martin Tietze - Betriebswirtschaftliche Anwendungen des Soft Computing, Häftad

Betriebswirtschaftliche Anwendungen des Soft Computing

Jörg Biethahn, Albrecht Hönerloh, Jochen Kuhl, Marie-Claire Leisewitz, Volker Nissen, Martin Tietze

Häftad, 1998

514 kr

Du kanske också är intresserad av

Siegfried Gottwald - Fuzzy Sets and Fuzzy Logic, Häftad

Fuzzy Sets and Fuzzy Logic

Siegfried Gottwald

Häftad, 2012

362 kr

Rudolf Seising - Fuzzy Theorie und Stochastik, Häftad

Fuzzy Theorie und Stochastik

Rudolf Seising

Häftad, 1999

819 kr

Matthias Homeister - Quantum Computing verstehen, Häftad

Quantum Computing verstehen

Matthias Homeister

Häftad, 2026

656 kr

Rudolf Kruse, Jörg Gebhardt, Rainer (Eds.) Palm, Wolfgang Bibel - Fuzzy-Systems in Computer Science, Häftad

Fuzzy-Systems in Computer Science

Rudolf Kruse, Jörg Gebhardt, Rainer (Eds.) Palm, Wolfgang Bibel

Häftad, 2012

565 kr

Thomas A. Runkler - Data Mining, Häftad

Data Mining

Thomas A. Runkler

Häftad, 2015

372 kr

Pallab Dasgupta, P. P. Chakrabarti, S. C. DeSarkar, Wolfgang Bibel - Multiobjective Heuristic Search, Häftad

Multiobjective Heuristic Search

Pallab Dasgupta, P. P. Chakrabarti, S. C. DeSarkar, Wolfgang Bibel

Häftad, 1999

563 kr

Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub, Wolfgang Bibel - Wissensrepräsentation und Inferenz, Häftad

Wissensrepräsentation und Inferenz

Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub, Wolfgang Bibel

Häftad, 1993

616 kr

Patricia S. Churchland, Terrence J. Sejnowski, Wolfgang Bibel - Grundlagen zur Neuroinformatik und Neurobiologie, Häftad

Grundlagen zur Neuroinformatik und Neurobiologie

Patricia S. Churchland, Terrence J. Sejnowski, Wolfgang Bibel

Häftad, 2012

819 kr

Volker Nissen, Wolfgang Bibel - Einführung in Evolutionäre Algorithmen, Häftad

Einführung in Evolutionäre Algorithmen

Volker Nissen, Wolfgang Bibel

Häftad, 1997

461 kr

Ingrid Gerdes, Frank Klawonn, Rudolf Kruse - Evolutionäre Algorithmen, Häftad

Evolutionäre Algorithmen

Ingrid Gerdes, Frank Klawonn, Rudolf Kruse

Häftad, 2004

342 kr