Počet záznamů: 1  

Lambda-kalkul

  1. Autor Zlatuška, Jiří, 1957- (Autor)
    NázevLambda-kalkul / Jiří Zlatuška
    Vydání1.vyd.
    Nakl.údajeBrno : Masarykova univerzita, 1993
    Fyz.popis264 s : Lit
    ISBN80-210-0826-1
    Předmět.heslaLambda kalkul -logika kombinatorická - modely matematické - výklady
    MDT510.6:519.7
    Země vyd.Česko
    Jazyk dok.čeština
    Počet ex.1, z toho volných 1
    VlastníkKladno SVK
    Druh dok.Odborná literatura, mapy
    Zobrazit informace o knize na stránce www.obalkyknih.cz
    SignaturaLokaceDislokaceInfo
    J 154087Půjčovna literaturydepozitář
    Lambda-kalkul

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.

Přijmout všeNastaveníOdmítnout vše