- Sprache
-
Englisch
- Umfang
-
Online-Ressource
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Klassifikation
-
Informatik
- Beteiligte Personen und Organisationen
- Ereignis
-
Veröffentlichung
- (wo)
-
[Wadern]
- (wer)
-
[Internat. Begegnungs- und Forschungszentrum für Informatik]
- (wann)
-
[2007]
- URN
-
urn:nbn:de:0030-drops-12515
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:54 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
- Baader, Franz
- Cook, Byron
- Giesl, Jürgen
- Nieuwenhuis, Robert
- [Internat. Begegnungs- und Forschungszentrum für Informatik]
Entstanden
- [2007]
Ähnliche Objekte (12)
Executive summary
Automated deduction : proceedings
Deduction and decision procedures : 07401 abstracts collection ; Dagstuhl seminar
Unification in the union of disjoint equational theories : combining decision procedures
Unification in the union of disjoint equational theories : combining decision procedures
Concept Descriptions with Set Constraints and Cardinality Constraints
On the Complexity of Boolean Unification
Terminological cycles in a description logic with existential restrictions
Die Verfassung der christlichen Kirche und der Geist des Christentums : Blitzstrahl wider Rom von Franz von Baader, aus den Jahren 1838 # 1840. In besonderer Schrift an das Licht gestellt auf Veranlassung des vom Papst auf den 8. Dezember 1869 ausgeschriebenen Concils von Professor (Dr. Franz Hoffmann.)
Franz Baaders Kleine Schriften : Aus Zeitschriften zum erstenmale gesammelt und herausgegeben von Franz Hoffmann
Unification theory
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
Executive summary
Automated deduction : proceedings
Deduction and decision procedures : 07401 abstracts collection ; Dagstuhl seminar
Unification in the union of disjoint equational theories : combining decision procedures
Unification in the union of disjoint equational theories : combining decision procedures
Concept Descriptions with Set Constraints and Cardinality Constraints
On the Complexity of Boolean Unification
Terminological cycles in a description logic with existential restrictions
Die Verfassung der christlichen Kirche und der Geist des Christentums : Blitzstrahl wider Rom von Franz von Baader, aus den Jahren 1838 # 1840. In besonderer Schrift an das Licht gestellt auf Veranlassung des vom Papst auf den 8. Dezember 1869 ausgeschriebenen Concils von Professor (Dr. Franz Hoffmann.)
Franz Baaders Kleine Schriften : Aus Zeitschriften zum erstenmale gesammelt und herausgegeben von Franz Hoffmann
Unification theory
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
Executive summary
Automated deduction : proceedings
Deduction and decision procedures : 07401 abstracts collection ; Dagstuhl seminar
Unification in the union of disjoint equational theories : combining decision procedures
Unification in the union of disjoint equational theories : combining decision procedures
Concept Descriptions with Set Constraints and Cardinality Constraints
On the Complexity of Boolean Unification
Terminological cycles in a description logic with existential restrictions
Die Verfassung der christlichen Kirche und der Geist des Christentums : Blitzstrahl wider Rom von Franz von Baader, aus den Jahren 1838 # 1840. In besonderer Schrift an das Licht gestellt auf Veranlassung des vom Papst auf den 8. Dezember 1869 ausgeschriebenen Concils von Professor (Dr. Franz Hoffmann.)
Franz Baaders Kleine Schriften : Aus Zeitschriften zum erstenmale gesammelt und herausgegeben von Franz Hoffmann
Unification theory