Você está em: Início > Publicações > Visualização > Rewriting, Computation and Proof: ESSAYS DEDICATED TO JEAN-PIERRE JOUANNAUD ON THE OCCASION OF HIS 60TH BIRTHDAY
Mapa das Instalações
Rewriting, Computation and Proof: ESSAYS DEDICATED TO JEAN-PIERRE JOUANNAUD ON THE OCCASION OF HIS 60TH BIRTHDAY
Título
Rewriting, Computation and Proof: ESSAYS DEDICATED TO JEAN-PIERRE JOUANNAUD ON THE OCCASION OF HIS 60TH BIRTHDAY
Tipo
Livro de Atas de Conferência Internacional
Ano
2007
Conferência Internacional
Festschrift held in Honor of Jean-Pierre Jouannauds 60th Birthday on Rewriting, Computation and Proof
Cachan, FRANCE, JUN 21-22, 2007
Outras Informações
Idioma:
Inglês
Tipo (Avaliação Docente):
Científica
ISBN:
978-3-540-73146-7
Coleção:
LECTURE NOTES IN COMPUTER SCIENCE
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Contidas
Artigo em Livro de Atas de Conferência Internacional
Sandra Alves (Autor) (FCUP); Maribel Fernandez (Autor) (Outra); Mario Florido (Autor) (FCUP); Ian Mackie (Autor) (Outra)
2007
Copyright 1996-2026 © Faculdade de Ciências da Universidade do Porto
I Termos e Condições
I Acessibilidade
I Índice A-Z
Última actualização: 2016-03-23 I Página gerada em: 2026-02-24 às 23:00:37 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico
Última actualização: 2016-03-23 I Página gerada em: 2026-02-24 às 23:00:37 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico