Eine Klassen-definierende höherstufige Attributenlogik / von Yoshio Hara

By: 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
Holdings
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