SciDok

Ihr Suchergebnis

Ergebnis 1 - 7 von 7  1    Gehe zu Seite
von 1
1. Buchheit, Martin ; Donini, Francesco M. ; Nutt, Werner ; Schaerf, Andrea (1995) A refined architecture for terminological systems : terminology = schema + views Kaiserslautern ; Saarbrücken : DFKI, 1995 Report (Bericht)
 
2. Buchheit, Martin ; Klein, Rüdiger ; Nutt, Werner (1995) Constructive problem solving : a model construction approach towards configuration Kaiserslautern ; Saarbrücken : DFKI, 1995 Report (Bericht)
 
3. Buchheit, Martin ; Bürckert, Hans-Jürgen ; Hollunder, Bernhard ; Laux, Armin ; Nutt, Werner ; Wójcik, Marek (1995) Task acquisition with a description logic reasoner Kaiserslautern ; Saarbrücken : DFKI, 1995 Report (Bericht)
 
4. Baader, Franz ; Buchheit, Martin ; Hollunder, Bernhard (1993) Cardinality restrictions on concepts Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
5. Buchheit, Martin ; Donini, Francesco M. ; Schaerf, Andrea (1993) Decidable reasoning in terminological knowledge representation systems Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
6. Buchheit, Martin ; Jeusfeld, Manfred A. ; Nutt, Werner ; Staudt, Martin (1993) Subsumption between queries to object-oriented databases Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
7. Buchheit, Martin (1992) Klassische Kommunikations- und Koordinationsmodelle Kaiserslautern ; Saarbrücken : DFKI, 1992 Report (Bericht)
 
Ergebnis 1 - 7 von 7  1    Gehe zu Seite
von 1

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English