EPOS, extended prolog with order-sorted resolution / Martin Huber; Igor Varsek. [Univ. Karlsruhe, Fak. für Informatik]
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchReihen: Universität Karlsruhe (TH). Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 87,4Verlag: Karlsruhe : Univ., Fak. für Informatik, 1987Beschreibung: 36 S. : graph. DarstGenre/Form: Bearbeitungsvermerk:- 2
| Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | ZE 4617-1987,4.1987 | Verfügbar | 27019579090 | |
| Freihandbestand Präsenznutzung | Fachbibliothek Informatik | Bibliothek / frei aufgestellt | Z 167(23042) | Nicht ausleihbar | 000692168090 |
Anzahl Vormerkungen: 0
Archivierung prüfen 20240511 DE-640 2 pdager