- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
464 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
- Bibliographic citation
-
Labelled deductive systems
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
MPI Informatik
- (when)
-
[1994]
- Creator
- 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, 1:41 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.
Associated
- Gabbay, Dov M.
- MPI Informatik
Time of origin
- [1994]
Other Objects (12)
Labelled deductive systems, Pt. 1
Deductive systems :
Foundations of semantic subsumption in deductive databases
An adaptive deductive planning system
An adaptive deductive planning system
Labelled love
Labelled superposition
The deductive spreadsheet
Meta-level control for deductive database systems
Classifying OECD healthcare systems: A deductive approach
Classifying OECD healthcare systems : a deductive approach
Foundations of intelligent systems, Vol. 1
Labelled deductive systems, Pt. 1
Deductive systems :
Foundations of semantic subsumption in deductive databases
An adaptive deductive planning system
An adaptive deductive planning system
Labelled love
Labelled superposition
The deductive spreadsheet
Meta-level control for deductive database systems
Classifying OECD healthcare systems: A deductive approach
Classifying OECD healthcare systems : a deductive approach
Foundations of intelligent systems, Vol. 1
Labelled deductive systems, Pt. 1
Deductive systems :
Foundations of semantic subsumption in deductive databases
An adaptive deductive planning system
An adaptive deductive planning system
Labelled love
Labelled superposition
The deductive spreadsheet
Meta-level control for deductive database systems
Classifying OECD healthcare systems: A deductive approach
Classifying OECD healthcare systems : a deductive approach