Doporučená témata ve výsledcích tohoto hledání:
Zobrazuji výsledky 1 - 7 z 7 pro vyhledávání '', doba hledání: 0,01 s. Upřesnit hledání
  1. 1
    Lambda calculus and computer science theory.
    Kniha
    Vydáno 1984
    Přidat do oblíbených
    Uloženo v:
  2. 2
    Recursive programming techniques /
    Kniha
    Autor Burge, William H.
    Vydáno 1975
    Přidat do oblíbených
    Uloženo v:
  3. 3
    Combinatory logic
    Kniha
    Přidat do oblíbených
    Uloženo v:
  4. 4
    Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings /
    Konferenční příspěvek Kniha
    Vydáno 1986
    Přidat do oblíbených
    Uloženo v:
  5. 5
    Combinatory reduction systems /
    Diplomová práce Kniha
    Autor Klop, J. W.
    Vydáno 1980
    Přidat do oblíbených
    Uloženo v:
  6. 6
    [Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 /
    Kniha
    Vydáno 1975
    Přidat do oblíbených
    Uloženo v:
  7. 7
    Combinators, -terms and proof theory.
    Diplomová práce Kniha
    Autor Stenlund, Soren
    Vydáno 1972
    Přidat do oblíbených
    Uloženo v:
Vyhledávací nástroje: RSS – Poslat e-mailem – Uložit hledání