Mostrando
1 - 4
resultados de
4
para a busca '
CHRISTIAN JACQUES RENTERIA
'
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
CHRISTIAN JACQUES RENTERIA
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 4
resultados de
4
para a busca '
CHRISTIAN JACQUES RENTERIA
'
, tempo de busca: 0,01s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
CN: Dedução Natural para CLT
por
CHRISTIAN
JACQUES
RENTERIA
Publicado em 2000
Dissertação
2
[en] A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION
por
CHRISTIAN
JACQUES
RENTERIA
Publicado em 2004
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Outros
3
Uma abordagem geral para quantificadores em dedução natural
por
CHRISTIAN
JACQUES
RENTERIA
,
THEREZINHA SOUZA DA COSTA
Publicado em 2004
Tese
4
Um Modelo Conceitual para Biologia Molecular
por
Jose Antonio Fernandes de Macedo
,
CHRISTIAN
JACQUES
RENTERIA
Publicado em 2005
Tese
Exportar CSV
Exportar RIS
Carregando...