SciDok

Ihr Suchergebnis

Ergebnis 1 - 10 von 11  1   2  Blättern >>   Gehe zu Seite
von 2
1. Hanschke, Philipp (1993) A declarative integration of terminological, constraint-based, data-driven, and goal-directed reasoning Report (Bericht)
 
2. Boley, Harold ; Hanschke, Philipp ; Hinkelmann, Knut ; Meyer, Manfred (1993) COLAB : a hybrid knowledge representation and compilation laboratory Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
3. Hanschke, Philipp ; Würtz, Jörg (1993) Satisfiability of the smallest binary program Kaiserslautern ; Saarbrücken : DFKI, 1993 Report (Bericht)
 
4. Hanschke, Philipp ; Frühwirth, Thom (1993) Terminological reasoning with constraint handling rules Report (Bericht)
 
5. Hanschke, Philipp ; Meyer, Manfred (1992) An alternative to theta-subsumption based on terminological reasoning Kaiserslautern ; Saarbrücken : DFKI, 1992 Report (Bericht)
 
6. Hanschke, Philipp ; Hinkelmann, Knut (1992) Combining terminological and rule-based reasoning for abstraction processes Kaiserslautern ; Saarbrücken : DFKI, 1992 Report (Bericht)
 
7. Baader, Franz ; Hanschke, Philipp (1992) Extensions of concept languages for a mechanical engineering application Kaiserslautern ; Saarbrücken : DFKI, 1992 Report (Bericht)
 
8. Hanschke, Philipp (1992) Specifying role interaction in concept languages Kaiserslautern ; Saarbrücken : DFKI, 1992 Report (Bericht)
 
9. Hanschke, Philipp (1992) Terminological reasoning and partial inductive definitions Kaiserslautern ; Saarbrücken : DFKI, 1992 Report (Bericht)
 
10. Bernardi, Ansgar ; Boley, Harold ; Hanschke, Philipp ; Hinkelmann, Knut ; Klauck, Christoph ; Kühn, Otto ; Legleitner, Ralf ; Meyer, Manfred ; Richter, Michael M. ; Schmalhofer, Franz ; Schmidt, Gabriele ; Sommer, Walter (1991) ARC-TEC : acquisition, representation and compilation of technical knowledge Kaiserslautern ; Saarbrücken : DFKI, 1991 Report (Bericht)
 
Ergebnis 1 - 10 von 11  1   2  Blättern >>   Gehe zu Seite
von 2

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