Você está em: Início > Publicações > Visualização > Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings

Mapa das Instalações

Publicação

Pesquisa de Publicações

Publicações

Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings

Título

Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, ProceedingsExportar publicação no formato APA Exportar publicação no formato EXCEL Exportar publicação no formato RIS

Tipo

Livro de Atas de Conferência Internacional

Data

1994

Título

Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings

Tipo

Livro de Atas de Conferência Internacional

Ano

1994

Outras Informações

Idioma: Inglês

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

ISBN: 3-540-58241-X

Coleção: Lecture Notes in Computer Science

Vol.: 827

Documentos

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

Publicações Contidas

Abduction in Temporal ReasoningImportada do Authenticus

Artigo em Livro de Atas de Conferência Internacional

Cristina Ribeiro (Autor) (FEUP); AntÃ³nio Porto (Autor) (Outra)

1994

Recomendar Página Voltar ao Topo

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-10 às 00:10:37 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico