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: EPIA, VOLUME: 727 LNAI
INDEXADO EM: Scopus DBLP CrossRef: 20
NO MEU: ORCID
Página 7 de 7. Total de resultados: 62.

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

Links Úteis

Ajuda

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