Suchergebnisse - Royer, Véronique
- Treffer 1 – 1 von 1
-
1Deriving inference rules for description logics: a rewriting approach into sequent calculiVeröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …