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
Publicaçõ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-2025 © Faculdade de Direito da Universidade do Porto
I Termos e Condições
I Acessibilidade
I Índice A-Z
Página gerada em: 2025-08-01 às 13:12:45 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias
Página gerada em: 2025-08-01 às 13:12:45 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias