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

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.

Till classic.bokus.com

Sök bok, spel, pussel, penna...läsglädje bland tusentals titlarbarnböckernobelvinnarenyheterpresenttipsinspiration

Erbjudanden
Nyheter
Student
Topplistor
Barn & ungdom
Bokus Play
E-böcker
Pocketböcker
Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

Hjälp

Kundservice
Vanliga frågor och svar
Frakt och leverans
Retur vid ångerrätt
Reklamera vara
Betalning
Köpvillkor
Allmänna villkor
Information om webbplatsens tillgänglighet

Om Bokus

Om oss
Pressrum
För studenter
För företag
För bibliotek och offentlig verksamhet
För leverantörer
Hållbarhet

Populärt

Aktuella erbjudanden
Presentkort
Studentlitteratur
Nya böcker
Topplistor
Signerade böcker
Engelska böcker

Inspiration

Boktips
BookTok
Populära bokserier
Barnbokskaraktärer
Populära författare

Mina sidor

Hjälp

Kundservice
Vanliga frågor och svar
Frakt och leverans
Retur vid ångerrätt
Reklamera vara
Betalning
Köpvillkor
Allmänna villkor
Information om webbplatsens tillgänglighet

Om Bokus

Om oss
Pressrum
För studenter
För företag
För bibliotek och offentlig verksamhet
För leverantörer
Hållbarhet

Populärt

Aktuella erbjudanden
Presentkort
Studentlitteratur
Nya böcker
Topplistor
Signerade böcker
Engelska böcker

Inspiration

Boktips
BookTok
Populära bokserier
Barnbokskaraktärer
Populära författare

bokus @ CookiesIntegritetspolicy Köpvillkor

Naturvetenskap och teknik
Teknik och industri
Teknik: allmänt

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

576 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.

Hoppa över listan

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 146 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 470 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 203 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

718 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

560 kr

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

Deduktive Datenbanken

Ralf Hinze, Ulrike Griefahn, Armin B. Cremers

E-bok

2013

574 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

560 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

567 kr

Hoppa över listan

Mer från samma serie

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

Fuzzy Sets and Fuzzy Logic

Siegfried Gottwald

Häftad, 2012

369 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

834 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

576 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

576 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

627 kr

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

Neuronale Netze

Andreas Scherer, Wolfgang Bibel

Häftad, 1997

514 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

464 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

472 kr

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

Evolutionäre Algorithmen

Ingrid Gerdes, Frank Klawonn, Rudolf Kruse

Häftad, 2004

348 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

523 kr

Hoppa över listan

Du kanske också är intresserad av

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

Deduktive Datenbanken

Ralf Hinze, Ulrike Griefahn, Armin B. Cremers

E-bok

2013

574 kr

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 146 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

718 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

567 kr

Johan Jeuring, Ralf Hinze, Jeremy Gibbons, Roland Backhouse - Datatype-Generic Programming, E-bok

Datatype-Generic Programming

Johan Jeuring, Ralf Hinze, Jeremy Gibbons, Roland Backhouse

E-bok

2007

739 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

560 kr

Ralf Hinze - Implementation and Application of Functional Languages, Häftad

Implementation and Application of Functional Languages

Ralf Hinze

Häftad, 2013

531 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

560 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 203 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 470 kr