Počet záznamů: 1
Údaje o názvu Term rewriting and all that / Franz Baader and Tobias Nipkow Osobní jméno Baader, Franz, 1959- (autor) Údaje o vydání 1st pbk. ed. Vyd.údaje Cambridge : Cambridge University Press, 1999 Fyz.popis xii, 301 s. ISBN 0-521-77920-0 (brož.) Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii a rejstřík Dal.odpovědnost Nipkow, Tobias, 1958- (autor) Předmět.hesla přepisující systémy rewriting systems Forma, žánr učebnice vysokých škol textbooks (higher) Konspekt 004.4/.6 - Programování. Software 37.016 - Učební osnovy. Vyučovací předměty. Učebnice MDT 004.4 , (075.8) Země vyd. Velká Británie Jazyk dok. angličtina Druh dok. Knihy 
kniha
Signatura Čár.kód Lokace Dislokace Info M2/1079 (PřF) 3134032789 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1