Počet záznamů: 1  

Teorija rekursivnych funkcij i effektivnaja vyčislimost'

  1. Údaje o názvuTeorija rekursivnych funkcij i effektivnaja vyčislimost' / Ch. Rodžers ; perevod V.A. Uspenskij
    Osobní jméno Rogers, Hartley, 1926- (autor)
    Vyd.údajeMoskva : Mir, 1972
    Fyz.popis624 s.
    PoznámkaRejstř. s. 607-621
    OriginálTheory 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
    SignaturaČár.kódLokaceDislokaceInfo
    S105656 (KUP)3134004064ZbrojniceÚstřední knihovna UP - skladDoba výp. 30 dní

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.