Doporučená témata ve výsledcích tohoto hledání:
Zobrazuji výsledky 1 - 9 z 9 pro vyhledávání '', doba hledání: 0,04 s. Upřesnit hledání
Obálka

Domains and lambda-calculi

Autor Amadio, Roberto M.   Vydáno: 2008
Kniha
Uloženo v:
Obálka

Combinatory logic : pure, applied and typed

Autor Bimbó, Katalin, 1963-   Vydáno: 2012
Kniha
Uloženo v:
Vyhledávací nástroje: RSS — Poslat emailem — Uložit hledání