ajuda

Você está em: Início > Publicações > Visualização > Higher-Order and Symbolic Computation

Publicação

Higher-Order and Symbolic Computation

Título

Tipo

Livro de Atas de Conferência Internacional

Data

2011

Título

Higher-Order and Symbolic Computation

Tipo

Livro de Atas de Conferência Internacional

Ano

2011

Outras Informações

Idioma: Inglês

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

Vol.: 6654 LNCS

Documentos

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

Publicações Contidas

Artigo em Livro de Atas de Conferência Internacional

Pardo, A (Autor) (Outra); Joao Paulo Fernandes (Autor) (FEUP); Saraiva, J (Autor) (Outra)

2011