Počet záznamů: 1  

Term rewriting and all that

  1. Údaje o názvuTerm rewriting and all that / Franz Baader and Tobias Nipkow
    Osobní jméno Baader, Franz, 1959- (autor)
    Údaje o vydání1st pbk. ed.
    Vyd.údajeCambridge : Cambridge University Press, 1999
    Fyz.popisxii, 301 s.
    ISBN0-521-77920-0 (brož.)
    Poznámky o skryté bibliografii a rejstřícíchObsahuje 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)
    Konspekt004.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
    SignaturaČár.kódLokaceDislokaceInfo
    M2/1079 (PřF)3134032789PřFPřF, KMI – Bc. Kolovratníkovápouze prezenčně
    Term rewriting and all that

Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.