Você está em: Início > Publicações > Visualização > COMPUTATIONAL LOGIC - CL 2000

Publicação

COMPUTATIONAL LOGIC - CL 2000

Título

Tipo

Livro de Atas de Conferência Internacional

Data

2000

Título

COMPUTATIONAL LOGIC - CL 2000

Tipo

Livro de Atas de Conferência Internacional

Ano

2000

Conferência Internacional

1st International Conference on Computational Logic, CL 2000

London, 24 July 2000 through 28 July 2000

Outras Informações

Idioma: Inglês

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

ISBN: 3-540-67797-6

ISBN Eletrónico: 978-3-540-44957-7

Coleção: Lecture Notes in Computer Science

Vol.: 1861

Documentos

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

Publicações Contidas

Artigo em Livro de Atas de Conferência Internacional

De Castro Dutra, I (Autor) (Outra); Costa, VS (Autor) (FCUP); Bianchini, R (Autor) (Outra)

2000