2 Einträge gefunden

1. Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions

   1. Haarslev, V.
   2. Timmann, M.
   3. Möller, R.

   2001 - Forschungsinformationssystem der UHH - frei zugänglich
2. Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions

   1. Haarslev, V.
   2. Timmann, M.
   3. Möller, R.

   2001 - Forschungsinformationssystem der UHH - frei zugänglich