Carlos Augusto Isaac Piló Viegas Damásio


AuthID: R-000-36A

Publicações Confirmadas: 62



61
TÍTULO: DIAGNOSIS AND DEBUGGING AS CONTRADICTION REMOVAL
AUTORES: PEREIRA, LM ; DAMASIO, CV ; ALFERES, JJ ;
PUBLICAÇÃO: 1993, FONTE: 2nd International Workshop on Logic Programming and Non-monotonic Reasoning in LOGIC PROGRAMMING AND NON-MONOTONIC REASONING
INDEXADO EM: WOS DBLP
62
TÍTULO: Diagnosis and Debugging as Contradiction Removal in Logic Programs
AUTORES: Luís Moniz Pereira ; Carlos Viegas Damásio ; José Júlio Alferes ;
PUBLICAÇÃO: 1993, FONTE: Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, VOLUME: 727
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
Página 7 de 7. Total de resultados: 62.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service