Počet záznamů: 1
Teorija rekursivnych funkcij i effektivnaja vyčislimost'
Údaje o názvu Teorija rekursivnych funkcij i effektivnaja vyčislimost' / Ch. Rodžers ; perevod V.A. Uspenskij Osobní jméno Rogers, Hartley, 1926- (autor) Vyd.údaje Moskva : Mir, 1972 Fyz.popis 624 s. Poznámka Rejstř. s. 607-621 Originál Theory of recursive functions and effective computability Dal.odpovědnost Uspenskij, Vladimir Alexandrovič (překladatel) Předmět.hesla rekurzivní funkce * matematická logika mathematical logic Forma, žánr studie studies MDT 510.5 , 510.6 Země vyd. Rusko Jazyk dok. ruština Druh dok. Knihy kniha
Signatura Čár.kód Lokace Dislokace Info S105656 (KUP) 3134004064 Zbrojnice Ústřední knihovna UP - sklad Doba výp. 30 dní
Počet záznamů: 1