Sugestões de Tópicos dentro de sua pesquisa.
A mostrar 1 - 7 resultados de 7 para a pesquisa '', tempo de pesquisa: 0.01seg Refinar resultados
  1. 1
    Lambda calculus and computer science theory.
    Livro
    Publicado em 1984
    Adic. favoritos
    Na minha lista:
  2. 2
    Recursive programming techniques /
    Livro
    Por Burge, William H.
    Publicado em 1975
    Adic. favoritos
    Na minha lista:
  3. 3
    Combinatory logic
    Livro
    Adic. favoritos
    Na minha lista:
  4. 4
    Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings /
    Conference Proceeding Livro
    Publicado em 1986
    Adic. favoritos
    Na minha lista:
  5. 5
    Combinatory reduction systems /
    Thesis Livro
    Por Klop, J. W.
    Publicado em 1980
    Adic. favoritos
    Na minha lista:
  6. 6
    [Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 /
    Livro
    Publicado em 1975
    Adic. favoritos
    Na minha lista:
  7. 7
    Combinators, -terms and proof theory.
    Thesis Livro
    Por Stenlund, Soren
    Publicado em 1972
    Adic. favoritos
    Na minha lista:
Ferramentas de pesquisa: Obter Feed RSS – Enviar pesquisa por email – Guardar a pesquisa