Ihr Suchergebnis
| Ergebnis 1 - 2 von 2 1 Gehe zu Seite von 1 | |
| 1. |
Buchheit, Martin ; Donini, Francesco M. ; Schaerf, Andrea
(1993)
Decidable reasoning in terminological knowledge representation systems
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 2. |
Donini, Francesco M. ; Lenzerini, Maurizio ; Nardi, Daniele ; Nutt, Werner ; Schaerf, Andrea
(1993)
Queries, rules and definitions as epistemic statements in concept languages
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| Ergebnis 1 - 2 von 2 1 Gehe zu Seite von 1 | |