Eine Klassen-definierende höherstufige Attributenlogik / von Yoshio Hara
Resource type: Ressourcentyp: BuchBuchSprache: Deutsch Verlag: 1989Beschreibung: 125 S : graph. Darst ; 30 cmSchlagwörter: Genre/Form: MSC: MSC: 03B60 | 03B45 | 03A05RVK: RVK: CC 2600Hochschulschriftenvermerk: Kiel, Univ., Diss., 1989 Call number: Grundsignatur: 89 DE 1393PPN: PPN: 159519861| Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 89 DE 1393 | Verfügbar | 45057026090 |
Anzahl Vormerkungen: 0