Mostrando
1 - 2
resultados de
2
para a busca '
Haeusler, Edward Hermann
'
Pular para o conteúdo
Portal do Governo Brasileiro
Toggle navigation
Instituto Brasileiro de Informação em Ciência e Tecnologia
Início
Sobre
Fontes Coletadas
Indicadores
Contato
Faq
A sua conta
Sair
Entrar
Idioma
Português (Brasil)
English
Todos os campos
Título
Autor
Assunto
Buscar
Busca avançada
Autor
Haeusler, Edward Hermann
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 2
resultados de
2
para a busca '
Haeusler, Edward Hermann
'
, tempo de busca: 0,01s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
The rules-as types interpretations of Schröder-Heister's extension of natural deduction
por
Haeusler
,
Edward
Hermann
Publicado em 1999
Acessar documento
Artigo
2
Síntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural
por
Silva, Geiza Maria Hamazaki da
Publicado em 2010
Outros Autores:
“
...
Haeusler
,
Edward
Hermann
...
”
Acessar documento
Artigo
Exportar CSV
Exportar RIS
Carregando...