Hochschulschrift
Querying knowledge and data bases by a universal description logic with recursion
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
XI, 170 S.
- Language
-
Englisch
- Notes
-
Saarbrücken, Univ., Diss., 1996
- Keyword
-
Terminologische Sprache
Terminologische Sprache
- Creator
-
Schild, Klaus
- 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:02 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
- Schild, Klaus
Other Objects (12)
Querying knowledge and data bases by a universal description logic with recursion
Logic and proof method of recursion
L-Recursion and a new Logic for Logarithmic Space
Visually Exploring and Querying XML with BaseX
Recursion as a Human Universal and as a Primitive
onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming
Recursion theory
Celestial recursion
Topological recursion
Recursion-theoretic hierarchies
Higher recursion theory
Contributions to α [alpha-] and β-recursion [beta-recursion] theory
Querying knowledge and data bases by a universal description logic with recursion
Logic and proof method of recursion
L-Recursion and a new Logic for Logarithmic Space
Visually Exploring and Querying XML with BaseX
Recursion as a Human Universal and as a Primitive
onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming
Recursion theory
Celestial recursion
Topological recursion
Recursion-theoretic hierarchies
Higher recursion theory
Contributions to α [alpha-] and β-recursion [beta-recursion] theory
Querying knowledge and data bases by a universal description logic with recursion
Logic and proof method of recursion
L-Recursion and a new Logic for Logarithmic Space
Visually Exploring and Querying XML with BaseX
Recursion as a Human Universal and as a Primitive
onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming
Recursion theory
Celestial recursion
Topological recursion
Recursion-theoretic hierarchies
Higher recursion theory