Eine Methode zur Aktualisierung aussagenlogischer Wissensbasen / Andreas Weber
Resource type: Ressourcentyp: BuchBuchSprache: Deutsch Verlag: 1987Beschreibung: 112 SSchlagwörter: Genre/Form: Hochschulschriftenvermerk: Karlsruhe, Univ., Diss., 1987 Call number: Grundsignatur: 87 DA 141PPN: PPN: 1086621654Medientyp | Heimatbibliothek | Standort | Signatur | Exemplarnummer | Status | Fälligkeitsdatum | Barcode | Vormerkungen | |
---|---|---|---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 87 DA 141 | ;b | Verfügbar | 48928398090 | |||
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 87 DA 141 | ;c | Verfügbar | 17101267 |
Anzahl Vormerkungen: 0