- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Erscheinungsjahr auf der Haupttitels.: 1992
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern, Saarbrücken
- (who)
-
DFKI
- (when)
-
[1996]
- URN
-
urn:nbn:de:101:1-201003151317
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:46 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.
Associated
Time of origin
- [1996]
Other Objects (12)
A complete and recursive feature theory
A complete axiomatization of a theory with feature and arity constraints
Regular path expressions in feature logic
A complete axiomatization of a theory with feature and arity constraints
Regular path expressions in feature logic
How to win a game with features
How to win a game with features
Linking typed feature formalisms and terminological knowledge representation languages in natural language front ends
Linking typed feature formalisms and terminological knowledge representation languages in natural language front ends
Expressivity and decidability of first-order languages over feature trees
Expressivity and decidability of first-order languages over feature trees
Towards the integration of functions, relations and types in an AI programming language
A complete and recursive feature theory
A complete axiomatization of a theory with feature and arity constraints
Regular path expressions in feature logic
A complete axiomatization of a theory with feature and arity constraints
Regular path expressions in feature logic
How to win a game with features
How to win a game with features
Linking typed feature formalisms and terminological knowledge representation languages in natural language front ends
Linking typed feature formalisms and terminological knowledge representation languages in natural language front ends
Expressivity and decidability of first-order languages over feature trees
Expressivity and decidability of first-order languages over feature trees
Towards the integration of functions, relations and types in an AI programming language
A complete and recursive feature theory
A complete axiomatization of a theory with feature and arity constraints
Regular path expressions in feature logic
A complete axiomatization of a theory with feature and arity constraints
Regular path expressions in feature logic
How to win a game with features
How to win a game with features
Linking typed feature formalisms and terminological knowledge representation languages in natural language front ends
Linking typed feature formalisms and terminological knowledge representation languages in natural language front ends
Expressivity and decidability of first-order languages over feature trees
Expressivity and decidability of first-order languages over feature trees