Eine Klassen-definierende höherstufige Attributenlogik / von Yoshio Hara
Resource type: Ressourcentyp: BuchBookLanguage: German Publisher: 1989Description: 125 S : graph. Darst ; 30 cmSubject(s): Genre/Form: MSC: MSC: 03B60 | 03B45 | 03A05RVK: RVK: CC 2600Dissertation note: Kiel, Univ., Diss., 1989 Call number: Grundsignatur: 89 DE 1393PPN: PPN: 159519861| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 89 DE 1393 | Available | 45057026090 |
Total holds: 0