Mostrando
1 - 2
resultados de
2
para a busca '
Xavier, Bruno Francisco
'
Pular para o conteúdo
VuFind
SISBI
Sistema de Bibliotecas
0
registros
(Cheio)
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
Tag
Buscar
Avançada
Autor
Xavier, Bruno Francisco
Mostrando
1 - 2
resultados de
2
para a busca '
Xavier, Bruno Francisco
'
, tempo de busca: 0.02s
Refinar Resultados
Resultados por página
10
20
40
60
80
100
Ordenar
Relevância
Data Descendente
Data Ascendente
Área
Autor
Título
1
Formalização da lógica linear em Coq
por
Xavier
,
Bruno
Francisco
Mais informações
Dissertação
Adicionar à cesta
Retirar da cesta
Salvar na lista
Na minha lista:
2
Linear logic as a logical framework
por
Xavier
,
Bruno
Francisco
Mais informações
doctoralThesis
Adicionar à cesta
Retirar da cesta
Salvar na lista
Na minha lista:
Ferramentas de busca:
Obter Feed RSS
—
Enviar busca por e-mail
Carregando...