Mostrando
1 - 5
resultados de
5
para a busca '
'
Pular para o conteúdo
CAVAL Home
Start Over
A sua conta
Sair
Entrar
Idioma
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Todos os campos
Título
Autor
Assunto
ISBN/ISSN
Código de Barra
Buscar
Avançada
Redefinir Filtros
Sugestões de Tópicos:
Recursive programming
Redefinir Filtros
Mostrar filtros (1)
Sugestões de Tópicos:
Recursive programming
Resultados da busca
Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Recursive programming
Combinatory logic
2
Computer programming
1
Computer programs
1
Electronic digital computers
1
Lambda calculus
1
Programming
1
Programming languages (Electronic computers)
1
Proof theory
1
Semantics
1
Mostrando
1 - 5
resultados de
5
para a busca '
'
, tempo de busca: 0.01s
Refinar Resultados
Ordenar
Relevância
Data Descendente
Data Ascendente
Área
Autor
Título
1
Livro
Carregando…
Recursive programming techniques /
por
Burge, William H.
Publicado em 1975
Área/Cota:
Carregando…
Localizado:
Carregando…
Salvar na lista
Na minha lista:
2
Livro
Carregando…
Recursive techniques in programming
por
Barron, D. W. (David William), 1935-
Publicado em 1968
Área/Cota:
Carregando…
Localizado:
Carregando…
Salvar na lista
Na minha lista:
3
Livro
Carregando…
Recursive program schemes : semantics and proof theory /
por
Roever, W.-P. de
Publicado em 1976
Área/Cota:
Carregando…
Localizado:
Carregando…
Salvar na lista
Na minha lista:
4
Tese
Livro
Carregando…
Combinatory reduction systems /
por
Klop, J. W.
Publicado em 1980
Área/Cota:
Carregando…
Localizado:
Carregando…
Salvar na lista
Na minha lista:
5
Livro
Carregando…
Theory of program structures : schemes, semantics, verification /
por
Greibach, Sheila, 1939-
Publicado em 1975
Área/Cota:
Carregando…
Localizado:
Carregando…
Salvar na lista
Na minha lista:
Ferramentas de busca:
Obter Feed RSS
–
Enviar busca por e-mail
–
Salvar a busca
Voltar
Refinar Resultados
Ano da publicação
De:
Até:
Idioma
English
5
Assunto
Q - Ciência
5