Media type: Book Title: Term rewriting and all that Contributor: Baader, Franz [VerfasserIn]; Nipkow, Tobias [VerfasserIn] imprint: Cambridge; New York; Melbourne; Madrid; Cape Town: Cambridge University Press, 1999 Issue: 1st paperback edition Extent: xii, 301 Seiten; Diagramme; 25 cm Language: English ISBN: 0521455200; 9780521779203; 9780521455206; 0521779200 RVK notation: ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge ST 130 : Allgemeines Keywords: Termersetzungssystem Termersetzungssystem Origination: Footnote: Hier auch später erschienene, unveränderte Nachdrucke Literaturverzeichnis: Seiten 284-296
Central Library – textbook collection (tbc) Shelf-mark: ST 130 B111 Item ID: 30444938 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: ST 130 B111 Item ID: 30562673 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: ST 130 B111 Item ID: 30562674 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: ST 130 B111 Item ID: 30562676 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: ST 130 B111 Item ID: 30634797 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: ST 130 B111 Item ID: 30634798 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: ST 130 B111 Item ID: 30634799 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: ST 130 B111 Item ID: 30634800 Status: Loanable
Departmental Library DrePunct – open access area Shelf-mark: ST 130 B111 Item ID: 30634795 Status: To be used in the library, interlibrary loan possible
Bestand der TU Dresden Shelf-mark: 2014 8 026736 Item ID: 11834933N Status: Verfügbarkeit bitte in Center Advancing Electronics Dresden CfAED erfragen.
Bestand der TU Dresden Shelf-mark: 2000 8 024747 003 Item ID: XMOM1505645 Status: Verfügbarkeit bitte in Prof Automatentheorie erfragen.