Eine Methode zur Aktualisierung aussagenlogischer Wissensbasen / Andreas Weber
Resource type: Ressourcentyp: BuchBookLanguage: German Publisher: 1987Description: 112 SSubject(s): Genre/Form: Dissertation note: Karlsruhe, Univ., Diss., 1987 Call number: Grundsignatur: 87 DA 141PPN: PPN: 1086621654| Item type | Home library | Shelving location | Call number | Copy number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 87 DA 141 | ;b | Available | 48928398090 | |||
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 87 DA 141 | ;c | Available | 17101267 |
Total holds: 0