- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Erscheinungsjahr auf der Haupttitels.: 1993
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern, Saarbrücken
- (wer)
-
DFKI
- (wann)
-
[1995]
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:101:1-201003152198
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:52 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
Entstanden
- [1995]
Ähnliche Objekte (12)
Qualifying number restrictions in concept languages
Unification theory
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
An empirical analysis of optimization techniques for terminological representation systems or: "making KRIS get a move on"
A scheme for integrating concrete domains into concept languages
Terminological logics with modal operators
Concept logics
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
Terminological logics with modal operators
Embedding defaults into terminological knowledge representation formalisms
Combination techniques and decision problems for disunification
Extensions of concept languages for a mechanical engineering application
Qualifying number restrictions in concept languages
Unification theory
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
An empirical analysis of optimization techniques for terminological representation systems or: "making KRIS get a move on"
A scheme for integrating concrete domains into concept languages
Terminological logics with modal operators
Concept logics
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
Terminological logics with modal operators
Embedding defaults into terminological knowledge representation formalisms
Combination techniques and decision problems for disunification
Extensions of concept languages for a mechanical engineering application
Qualifying number restrictions in concept languages
Unification theory
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
An empirical analysis of optimization techniques for terminological representation systems or: "making KRIS get a move on"
A scheme for integrating concrete domains into concept languages
Terminological logics with modal operators
Concept logics
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
Terminological logics with modal operators
Embedding defaults into terminological knowledge representation formalisms
Combination techniques and decision problems for disunification