> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Advanced topics in term rewriting Beteiligte: Ohlebusch, Enno [Verfasser:in] Erschienen: New York; Berlin [u.a.]: Springer, 2002 Umfang: XV, 414 S.; graph. Darst; 25 cm Sprache: Englisch ISBN: 0387952500 RVK-Notation: ST 130 : Allgemeines Schlagwörter: Termersetzungssystem Termersetzungssystem Entstehung: Anmerkungen: Literaturverz. S. [385] - 405
Bereichsbibliothek DrePunct – Magazin Signatur: R2017 8 2840 Barcode: 30923335 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung
Bereichsbibliothek DrePunct Signatur: ST 130 O37 Barcode: 30923336 Status: Verfügbarkeit bitte in Prof Automatentheorie erfragen.