Você está em: Início > Publicações > Visualização > Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011.

Mapa das Instalações

Publicação

Pesquisa de Publicações

Publicações

Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011.

Título

Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011.Exportar publicação no formato APA Exportar publicação no formato EXCEL Exportar publicação no formato RIS

Tipo

Livro de Atas de Conferência Internacional

Data

2011

Título

Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011.

Tipo

Livro de Atas de Conferência Internacional

Ano

2011

Outras Informações

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Coleção: EPTCS

Documentos

Não foi encontrado nenhum documento associado à publicação.

Publicações Contidas

A new graphical calculus of proofsImportada do Authenticus

Artigo em Livro de Atas de Conferência Internacional

Sandra Alves (Autor) (FCUP); Maribel FernÃ¡ndez (Autor) (Outra); Ian Mackie (Autor) (Outra)

2011

Indexação

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-25 às 18:55:44 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico