Você está em: Início > Publicações > Visualização > Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Mapa das Instalações
Publicações
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Título
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Tipo
Livro de Atas de Conferência Internacional
Ano
2014
Conferência Internacional
15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014
San Diego, CA, 20 January 2014 through 21 January 2014
Outras Informações
Idioma:
Inglês
Tipo (Avaliação Docente):
Científica
ISBN:
9783319041315
Coleção:
Lecture Notes in Computer Science
Vol.:
8324 LNCS
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Contidas
On the correctness and efficiency of lock-free expandable tries for tabled logic programsImportada do Authenticus
Artigo em Livro de Atas de Conferência Internacional
Areias, M (Autor) (Outra); Rocha, R (Autor) (FCUP)
2014
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-08 às 18:33:47 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico
Página gerada em: 2025-09-08 às 18:33:47 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico