Lernverfahren zur Vervollständigung von Hornklauselmengen durch inverse Resolution / vorgel. von Rüdiger Wirth
Resource type: Ressourcentyp: BuchBookLanguage: German Publisher: 1989Description: X, 135 S. : graph. DarstSubject(s): Genre/Form: Dissertation note: Stuttgart, Univ., Diss., 1989 Call number: Grundsignatur: 89 DA 4548PPN: PPN: 1648663389| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 89 DA 4548 | Available | 49011402090 |
Total holds: 0