Você está em: Início > Publicações > Visualização > Selective Backtracking for Logic Programs

Mapa das Instalações

Publicação

Selective Backtracking for Logic Programs

Título

Tipo

Artigo em Livro de Atas de Conferência Internacional

Data

1980

Título

Selective Backtracking for Logic Programs

Tipo

Artigo em Livro de Atas de Conferência Internacional

Ano

1980

Autores

LuÃs Moniz Pereira

(Autor)

Outra

A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Ver página do Authenticus Sem ORCID

AntÃ³nio Porto

(Autor)

Outra

Ata de Conferência Internacional

Título: 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings Pesquisar Publicações da Ata de Conferência

Páginas: 306-317

Outras Informações

ID Authenticus: P-008-NSY

DOI: 10.1007/3-540-10009-1_24

Idioma: Inglês

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

Documentos

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

Publicações Relacionadas

A Prolog Implementation of a Large System on a Small Machine (1982)
Artigo em Livro de Atas de Conferência Internacional
LuÃs Moniz Pereira; AntÃ³nio Porto