A semantic approach to order sorted rewriting / Andreas Werner. Universität Karlsruhe, Fakultät für Informatik

By: Resource type: Ressourcentyp: BuchBookLanguage: English Series: Universität Karlsruhe (TH). Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 93,5Publisher: Karlsruhe : Univ., Fak. für Informatik, 1994Description: 79 SOther title:
  • order-sorted
RVK: RVK: SS 5554Action note:
  • 2
Call number: Grundsignatur: ZE 4617-1993,5.1994PPN: PPN: 162382138X
Holdings
Item type Home library Shelving location Call number Status Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin ZE 4617-1993,5.1994 Available 47457959090
Freihandbestand Präsenznutzung Fachbibliothek Informatik Bibliothek / frei aufgestellt Z 167(21910) Not for loan 000729598090
Total holds: 0

Archivierung prüfen 20240511 DE-640 2 pdager