A semantic approach to order sorted rewriting / Andreas Werner. Universität Karlsruhe, Fakultät für Informatik
Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Universität Karlsruhe (TH). Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 93,5Verlag: Karlsruhe : Univ., Fak. für Informatik, 1994Beschreibung: 79 SWeitere Titel:- order-sorted
- 2
| Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | ZE 4617-1993,5.1994 | Verfügbar | 47457959090 | |
| Freihandbestand Präsenznutzung | Fachbibliothek Informatik | Bibliothek / frei aufgestellt | Z 167(21910) | Nicht ausleihbar | 000729598090 |
Anzahl Vormerkungen: 0
Archivierung prüfen 20240511 DE-640 2 pdager