Monografie
Metainterpretation zur Berechnung intensionaler Antworten in deduktiven Datenbanken
- Sprache
-
Deutsch
- Identifier
-
1154308154
- Reihe
-
Informatik-Berichte; 149
Thema
Informatik
Beteiligte Personen und Organisationen
Meyer, Renate
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:54 MEZ
Objekttyp
- Monografie
Beteiligte
- Meyer, Renate
Ähnliche Objekte (12)
Die Berechnung intensionaler Antworten in deduktiven Datenbanken durch eine Fixpunktoperation
Zum Problem der Kopplung von Expertensystemen und Datenbanken
Pictures Depicting Pictures
Type Checking and Type Inferencing for Logic Programs with Subtypes and Parametric Polymorphism
On the Use of Types in Logic Programming
Synchronisation und Recovery in verteilten Datenbanken
Anfragesprachen für Netzwerk-Datenbanken
Programming and Interface Specification Language of JIVE
Formal Verification of a Doubly Linked List Implementation
Beyond Icons
9. Workshop Logische Programmierung
Vergleich der Fehlerüberdeckung von Prüfsummen- und Signaturverfahren
Die Berechnung intensionaler Antworten in deduktiven Datenbanken durch eine Fixpunktoperation
Zum Problem der Kopplung von Expertensystemen und Datenbanken
Pictures Depicting Pictures
Type Checking and Type Inferencing for Logic Programs with Subtypes and Parametric Polymorphism
On the Use of Types in Logic Programming
Synchronisation und Recovery in verteilten Datenbanken
Anfragesprachen für Netzwerk-Datenbanken
Programming and Interface Specification Language of JIVE
Formal Verification of a Doubly Linked List Implementation
Beyond Icons
9. Workshop Logische Programmierung
Vergleich der Fehlerüberdeckung von Prüfsummen- und Signaturverfahren
Die Berechnung intensionaler Antworten in deduktiven Datenbanken durch eine Fixpunktoperation
Zum Problem der Kopplung von Expertensystemen und Datenbanken
Pictures Depicting Pictures
Type Checking and Type Inferencing for Logic Programs with Subtypes and Parametric Polymorphism
On the Use of Types in Logic Programming
Synchronisation und Recovery in verteilten Datenbanken
Anfragesprachen für Netzwerk-Datenbanken
Programming and Interface Specification Language of JIVE
Formal Verification of a Doubly Linked List Implementation
Beyond Icons
9. Workshop Logische Programmierung