| 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)
|
