Mostrando
1 - 4
resultados de
4
para a busca '
Luis Cruz-Filipe
'
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
Luis Cruz-Filipe
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 4
resultados de
4
para a busca '
Luis Cruz-Filipe
'
, tempo de busca: 0,01s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
por
Luís
Cruz
-
Filipe
Publicado em 2008
Acessar documento
Artigo
2
Heterogeneous Fibring of Deductive Systems via Abstract Proof Systems
por
Luís
Cruz
-
Filipe
Publicado em 2008
Acessar documento
Artigo
3
Behavioural theory at work: Program transformations in a service-centred calculus
por
Luis
Cruz
-
Filipe
Publicado em 2008
Acessar documento
Artigo
4
Reasoning about probabilistic sequential programs
por
Luís
Cruz
-
Filipe
Publicado em 2007
Acessar documento
Artigo
Exportar CSV
Exportar RIS
Carregando...