- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
25 S.
- Language
-
Deutsch
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern, Saarbrücken
- (who)
-
DFKI
- (when)
-
1993
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
- 17.02.2026, 1:03 PM CET
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
- Text
Associated
Time of origin
- 1993
Other Objects (12)
Embedding defaults into terminological knowledge representation formalisms
Embedding defaults into terminological knowledge representation formalisms
How to prefer more specific defaults in terminological default logic
Unification theory
An empirical analysis of optimization techniques for terminological representation systems or: "making KRIS get a move on"
Extensions of concept languages for a mechanical engineering application
Combination techniques and decision problems for disunification
Terminological logics with modal operators
Concept logics
Qualifying number restrictions in concept languages
Unification in the union of disjoint equational theories : combining decision procedures
A scheme for integrating concrete domains into concept languages
Embedding defaults into terminological knowledge representation formalisms
Embedding defaults into terminological knowledge representation formalisms
How to prefer more specific defaults in terminological default logic
Unification theory
An empirical analysis of optimization techniques for terminological representation systems or: "making KRIS get a move on"
Extensions of concept languages for a mechanical engineering application
Combination techniques and decision problems for disunification
Terminological logics with modal operators
Concept logics
Qualifying number restrictions in concept languages
Unification in the union of disjoint equational theories : combining decision procedures
A scheme for integrating concrete domains into concept languages
Embedding defaults into terminological knowledge representation formalisms
Embedding defaults into terminological knowledge representation formalisms
How to prefer more specific defaults in terminological default logic
Unification theory
An empirical analysis of optimization techniques for terminological representation systems or: "making KRIS get a move on"
Extensions of concept languages for a mechanical engineering application
Combination techniques and decision problems for disunification
Terminological logics with modal operators
Concept logics
Qualifying number restrictions in concept languages
Unification in the union of disjoint equational theories : combining decision procedures