Lernverfahren zur Vervollständigung von Hornklauselmengen durch inverse Resolution / vorgel. von Rüdiger Wirth
Resource type: Ressourcentyp: BuchBuchSprache: Deutsch Verlag: 1989Beschreibung: X, 135 S. : graph. DarstSchlagwörter: Genre/Form: Hochschulschriftenvermerk: Stuttgart, Univ., Diss., 1989 Call number: Grundsignatur: 89 DA 4548PPN: PPN: 1648663389| Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 89 DA 4548 | Verfügbar | 49011402090 |
Anzahl Vormerkungen: 0