A proof theory for preferential default description logics / Sven Suska
Resource type: Ressourcentyp: BuchBookLanguage: English Series: Technische Universität Berlin. KIT-Report ; 117 : KIT VM11Publisher: Berlin : TU, Fachbereich 20, Projektgruppe KIT, 1994Description: III, 68 SAction note:- 2
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | ZE 6709-117.1994 | Available | 45929183090 |
Total holds: 0
Archivierung prüfen 20200919 DE-640 2 pdager