- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783860641507
3860641506
- Dimensions
-
12 cm
- Extent
-
VIII, 140 S.
- Language
-
Deutsch
- Notes
-
Zugl.: Koblenz, Landau, Univ., Diss., 1993
- Keyword
-
Logische Programmierung
Deduktives Datenbanksystem
Petri-Netz
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:37 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Dahr, Michael
- Kovač
Time of origin
- 1994
Other Objects (12)
Stable Semantics of Temporal Deductive Databases
A paraconsistent semantics for generalized logic programs
LOGIDATA+ : deductive databases with complex objects
The logic of categorial grammars : a deductive account of natural language syntax and semantics
Semantics in databases
Foundations of semantic subsumption in deductive databases
Deductive databases and logic programming, abduction in deductive databases and knowledge based systems : proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995
A deductive verifier for probabilistic programs
Automated deductive verification of probabilistic programs
Practical Applications of Extended Deductive Databases in DATALOG*
Bottom-up query evaluation in extended deductive databases
Deductive verification of safety-critical Java programs
Stable Semantics of Temporal Deductive Databases
A paraconsistent semantics for generalized logic programs
LOGIDATA+ : deductive databases with complex objects
The logic of categorial grammars : a deductive account of natural language syntax and semantics
Semantics in databases
Foundations of semantic subsumption in deductive databases
Deductive databases and logic programming, abduction in deductive databases and knowledge based systems : proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995
A deductive verifier for probabilistic programs
Automated deductive verification of probabilistic programs
Practical Applications of Extended Deductive Databases in DATALOG*
Bottom-up query evaluation in extended deductive databases
Deductive verification of safety-critical Java programs
Stable Semantics of Temporal Deductive Databases
A paraconsistent semantics for generalized logic programs
LOGIDATA+ : deductive databases with complex objects
The logic of categorial grammars : a deductive account of natural language syntax and semantics
Semantics in databases
Foundations of semantic subsumption in deductive databases
Deductive databases and logic programming, abduction in deductive databases and knowledge based systems : proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995
A deductive verifier for probabilistic programs
Automated deductive verification of probabilistic programs
Practical Applications of Extended Deductive Databases in DATALOG*
Bottom-up query evaluation in extended deductive databases