SciDok

Ihr Suchergebnis

Ergebnis 1 - 7 von 7  1    Gehe zu Seite
von 1
1. Boley, Harold ; Hanschke, Philipp ; Hinkelmann, Knut ; Meyer, Manfred (1993) COLAB : a hybrid knowledge representation and compilation laboratory Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
2. Hanschke, Philipp ; Würtz, Jörg (1993) Satisfiability of the smallest binary program Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
3. Hanschke, Philipp ; Meyer, Manfred (1992) An alternative to theta-subsumption based on terminological reasoning Kaiserslautern ; Saarbrücken : DFKI, 1992 Report (Bericht)
 
4. Hanschke, Philipp ; Hinkelmann, Knut (1992) Combining terminological and rule-based reasoning for abstraction processes Kaiserslautern ; Saarbrücken : DFKI, 1992 Report (Bericht)
 
5. Baader, Franz ; Hanschke, Philipp (1992) Extensions of concept languages for a mechanical engineering application Kaiserslautern ; Saarbrücken : DFKI, 1992 Report (Bericht)
 
6. Hanschke, Philipp (1992) Specifying role interaction in concept languages Kaiserslautern ; Saarbrücken : DFKI, 1992 Report (Bericht)
 
7. Hanschke, Philipp (1992) Terminological reasoning and partial inductive definitions 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