Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Visualização > A new graphical calculus of proofs

Publicações

A new graphical calculus of proofs

Título
A new graphical calculus of proofs
Tipo
Artigo em Livro de Atas de Conferência Internacional
Ano
2011
Autores
Sandra Alves
(Autor)
FCUP
Ver página pessoal Sem permissões para visualizar e-mail institucional Pesquisar Publicações do Participante Ver página do Authenticus Ver página ORCID
Maribel Fernández
(Autor)
Outra
A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Sem AUTHENTICUS Sem ORCID
Ian Mackie
(Autor)
Outra
A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Sem AUTHENTICUS Sem ORCID
Indexação
Publicação em ISI Web of Knowledge ISI Web of Knowledge
Outras Informações
ID Authenticus: P-009-4ZK
Idioma: Inglês
Tipo (Avaliação Docente): Científica
Nº de páginas: 16
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Relacionadas

Dos mesmos autores

Linear Recursion (2010)
Outras Publicações
Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie
Recomendar Página Voltar ao Topo
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z
Página gerada em: 2025-09-28 às 14:11:42 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico